QuickCheck properties for IntSet

Don Stewart dons at galois.com
Mon Dec 3 15:55:07 EST 2007


dbenbenn:
> 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. 

-- Don


More information about the Libraries mailing list