Re: QuickCheck properties for IntSet

dbenbenn:

On 12/2/07, Don Stewart wrote:

...

Have you tried getting some code coverage for you testsuite, btw? (Compile with -fhpc, and then run "hpc report" on the resulting .tix file, to get numbers on how thorough the coverage is)

Thanks for the suggestion! Here's what I get:

89% expressions used (1973/2214) 62% boolean coverage (69/110) 60% guards (62/103), 35 always True, 6 unevaluated 100% 'if' conditions (7/7) 100% qualifiers (0/0) 87% alternatives used (183/209) 96% local declarations used (26/27) 84% top-level declarations used (144/171)

Next weekend I'll work on pushing these percentages up.

I wish I could use QuickCheck to write an actual unit test: that is, an executable program that returns 0 on success, and non-zero on failure. Then we could put these properties in the tests/ directory, and have them automatically executed. Is anyone working on such a feature for QuickCheck?

The 'quickCheck' function does this, iirc. -- Don