QuickCheck properties for IntSet

[David Benbennick]

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.