QuickCheck properties for IntSet

[David Benbennick]

On 12/2/07, Don Stewart <dons at galois.com> 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?