QuickCheck properties for IntSet

David Benbennick dbenbenn at gmail.com
Wed Apr 30 17:18:37 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.

On Wed, Apr 30, 2008 at 1:48 PM, Ian Lynagh <igloo at earth.li> wrote:
>  I don't think there is much benefit in having the tests if we aren't
>  going to run them.

I agree that having them run automatically would be much better.

More information about the Libraries mailing list