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@fatlazycat.com <graham@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