QuickCheck properties for IntSet

Don Stewart dons at galois.com
Wed Apr 30 16:22:18 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].

So then it comes down the to property writer.

I don't think it makes sense to not include tests at all, when we have
them. *Any* testing (even QuickCheck -depth 4 ) is better than none.

-- Don

More information about the Libraries mailing list