QuickCheck properties for IntSet
dbenbenn at gmail.com
Mon Dec 3 15:29:23 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?
More information about the Libraries