QuickCheck properties for IntSet
dons at galois.com
Wed Apr 30 17:20:09 EDT 2008
> As I recall, IntSet overrides the number of times to check each QC
> property, to 500 or 5000? Removing the override, or putting it down
> at 10 or 50, makes the checks run much faster.
Yeah, I think we can do quite well by having even only 10 tests, as
long as we use a new random seed each time. Given enough nightly
builds we'll end up testing more than with the fixed seed/1000 run.
More information about the Libraries