QuickCheck properties for IntSet

Ian Lynagh igloo at earth.li
Wed Apr 30 16:10:44 EDT 2008

On Wed, Apr 30, 2008 at 11:08:07AM -0700, Donald Bruce Stewart wrote:
> What if we used QC tests with SmallCheck generators, so you 
> actually got decent search through the value space, rather than
> just a random walk?

This might be better than the normal QC way, but I don't think it's the
best way to write tests. e.g. for some tests on Integer the interesting
values might be [0..], while for other tests they might be
2^n +/- [-3..3].


More information about the Libraries mailing list