Test.QuickCheck.Parallel

Portability	non-portable (uses Control.Exception, Control.Concurrent)
Stability	experimental
Maintainer	dons@cse.unsw.edu.au

Description

A parallel batch driver for running QuickCheck on threaded or SMP systems. See the Example.hs file for a complete overview.

Synopsis

module Test.QuickCheck

pRun :: Int -> Int -> [Test] -> IO ()

pDet :: Testable a => a -> Int -> IO String

pNon :: Testable a => a -> Int -> IO String

Documentation

module Test.QuickCheck

pRun :: Int -> Int -> [Test] -> IO ()

Run a list of QuickCheck properties in parallel chunks, using n Haskell threads (first argument), and test to a depth of d (second argument). Compile your application with '-threaded' and run with the SMP runtime's '-N4' (or however many OS threads you want to donate), for best results.

 import Test.QuickCheck.Parallel

 do n <- getArgs >>= readIO . head
    pRun n 1000 [ ("sort1", pDet prop_sort1) ]

Will run n threads over the property list, to depth 1000.

pDet :: Testable a => a -> Int -> IO String

Wrap a property, and run it on a deterministic set of data

pNon :: Testable a => a -> Int -> IO String

Wrap a property, and run it on a non-deterministic set of data

Produced by Haddock version 0.8