QuickCheck properties for IntSet
dons at galois.com
Mon Dec 3 15:55:07 EST 2007
> 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?
The 'quickCheck' function does this, iirc.
More information about the Libraries