[Haskell-cafe] HTF & Quickcheck
Simon Hengel
sol at typeful.net
Mon Dec 17 17:08:58 CET 2012
On Mon, Dec 17, 2012 at 03:50:32PM +0000, graham at fatlazycat.com wrote:
> Getting test failures, I believe, due to using conditional properties
> within quickckeck etc
>
> [TEST] RecFunSpec:map (test/RecFunSpec.hs:48)
> Gave up! Passed only 20 tests.
> *** Failed! (2ms)
>
> Is there a way for HTF/Quickcheck to specify these are not failed i.e.
> only fail if there is an actual error ?
I have no idea about HTF, but QuickCheck thinks those are failures, too.
If I run into something like this, it indicates a "bug" in my arbitrary
instance. Here I would just adapt it so that it generates valid test
data (possibly with the help of a newtype wrap).
Cheers,
Simon
More information about the Haskell-Cafe
mailing list