batterseapower/test-framework — Issue #14: Deadlocks when run from ghci
Author: sol
Created: 2012-01-20 08:27:14+00:00
State: open

There are two issues when I run test suites with _failing_ qc properties from ghci:

1. The counterexample is outputed interleaved with the normal test-framework output (sometimes it gets some where into the test label of the previous test, sometimes into the OK-bracket, etc.)
2. It sometimes deadlocks just after the first character of the counterexample has been printed (say the `"` for the example below)

Below is a minimal example (Just load it into ghci, and run `main` repetitively).

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

main = defaultMain
[ testProperty "reverse" prop_reverse
, testProperty "foobar" (/= "")
]

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