[Haskell-cafe] HTF & Quickcheck

[Roman Cheplyaka]

Unfortunately, I don't know the answer to your question.

However, if you don't find a solution, I suggest using SmallCheck
instead of QuickCheck — it works better when you have many unsuitable
cases.
https://github.com/feuerbach/smallcheck/wiki/Comparison-with-QuickCheck

As far as I know, SmallCheck is not supported by HTF, but it is
supported by test-framework.

Roman

* graham at fatlazycat.com <graham at fatlazycat.com> [2012-12-17 15:50:32+0000]
> 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 ?
> 
> Thanks