30 Apr
2008
30 Apr
'08
4:35 p.m.
On Wed, Apr 30, 2008 at 10:34 AM, Ian Lynagh
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.