QuickCheck properties for IntSet
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