batterseapower/test-framework — Issue #16: Tests that fail due to "exhausted arguments", are marked as "passed"
Author: sol
Created: 2012-01-24 05:53:13+00:00
State: open

Here is an example:

import Test.Framework
import Test.Framework.Providers.QuickCheck2 (testProperty)
import Test.QuickCheck

main :: IO ()
main = defaultMain [ testProperty "reverse" prop_reverse]

prop_reverse :: [Int] -> Property
prop_reverse xs = False ==> xs == (reverse . reverse) xs

`quickCheck prop_reverse` fails on this with

*** Gave up! Passed only 0 tests.

But `test-framework` marks it ass passed.