[Haskell-cafe] Re: QuickCheck Questions

[Andrew Coppin]

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...)