Test.QuickCheck.Batch

A batch driver for running QuickCheck.

Note: in GHC only, it is possible to place a time limit on each test, to ensure that testing terminates.

Documentation

run :: Testable a => a -> TestOptions -> IO TestResult

Run the test. Here we use the same random number each time, so we get reproducable results!

runTests :: String -> TestOptions -> [TestOptions -> IO TestResult] -> IO ()

Prints a one line summary of various tests with common theme

defOpt :: TestOptions

data TestOptions

Constructors

TestOptions

Fields

no_of_tests :: Int

number of tests to run.

length_of_tests :: Int

time limit for test, in seconds. If zero, no time limit. Note: only GHC supports time limits.

debug_tests :: Bool

data TestResult

Constructors

TestOk String Int [[String]]

TestExausted String Int [[String]]

TestFailed [String] Int

TestAborted SomeException

isBottom :: a -> Bool

Look out behind you! These can be misused badly. However, in the context of a batch tester, can also be very useful.

Examples of use of bottom and isBottom:

	{- test for abort -}
	prop_head2 = isBottom (head [])
	{- test for strictness -}
	prop_head3 = isBottom (head bottom)

bottom :: a