[Haskell-cafe] Re: QuickCheck Questions
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