[Haskell-cafe] Re: QuickCheck Questions

Andrew Coppin andrewcoppin at btinternet.com
Mon Sep 28 17:28:41 EDT 2009

Ben Franksen wrote:
> If it turns out that a
> precise spec is unwieldy (too complex) then this is a hint that maybe it is
> not a good abstraction.

Or your specification language is insufficient to describe it...

(I don't know about anybody else, but I find that when I use QC, about 
75% of the bugs reported are bugs in the spec, and only 25% are bugs in 
the thing I'm actually trying to test...)

More information about the Haskell-Cafe mailing list