On Mon, Dec 17, 2012 at 06:04:15PM +0200, Roman Cheplyaka wrote:
> 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.
test-framework also sometimes thinks a "Gave up!" is not a fail, which I
think is a bug. But I gave up on trying to get that fixed [1], e.g.
this (admittedly contrived) property is still a pass with
test-framework:
defaultMain [testProperty "foo" $ \x -> x == 23 ==> True]
Cheers,
Simon
[1] https://github.com/batterseapower/test-framework/issues/16
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
