QuickCheck properties for IntSet

[Ian Lynagh]

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].


Thanks
Ian