extrapolate-0.3.3: tests/model/bench/true.out
checks :: ()
+++ OK, passed 1 tests (exhausted).
+++ OK, passed 1 tests (exhausted).
+++ OK, passed 1 tests (exhausted).
checks :: Bool
+++ OK, passed 2 tests (exhausted).
+++ OK, passed 4 tests (exhausted).
+++ OK, passed 8 tests (exhausted).
checks :: Int
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: Integer
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: Char
+++ OK, passed 97 tests (exhausted).
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: Ordering
+++ OK, passed 3 tests (exhausted).
+++ OK, passed 9 tests (exhausted).
+++ OK, passed 27 tests (exhausted).
checks :: [()]
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: [Bool]
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: [Int]
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: [Integer]
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: [Char]
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: [Ordering]
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: ((),Int)
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: (Bool,Char)
+++ OK, passed 194 tests (exhausted).
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: (Int,(),Bool)
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: (Ordering,Char,Integer)
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: Maybe ()
+++ OK, passed 2 tests (exhausted).
+++ OK, passed 4 tests (exhausted).
+++ OK, passed 8 tests (exhausted).
checks :: Maybe Int
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
checks :: Either () Bool
+++ OK, passed 3 tests (exhausted).
+++ OK, passed 9 tests (exhausted).
+++ OK, passed 27 tests (exhausted).
checks :: Either Int Char
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.
+++ OK, passed 500 tests.