QuickCheck properties for IntSet

David Benbennick dbenbenn at gmail.com
Wed Apr 30 16:35:45 EDT 2008

On Wed, Apr 30, 2008 at 10:34 AM, Ian Lynagh <igloo at earth.li> wrote:
>  I believe that a much smaller number of carefully chosen unit tests could test the library just as
>  well

I think that if you remove any of the properties from my patch, I can
break the implementation of IntSet in such a way that it still passes
all the tests.  Anyway, the new QuickCheck properties are just
comments, so they don't have any affect on the test suite.

More information about the Libraries mailing list