Portability | non-portable (uses Control.Exception, Control.Concurrent) |
---|---|
Stability | experimental |
Maintainer | shelarcy <shelarcy@gmail.com> |
A parallel batch driver for running QuickCheck on threaded or SMP systems. See the Example.hs file for a complete overview.
Documentation
module Test.QuickCheck
pRun' :: Int -> [Test] -> IO ()Source
Variant of pRunWithNum
. Run a list of QuickCheck properties in parallel
chunks, using number of Haskell threads that can run truly simultaneously
(on separate physical processors) at any given time. (see getNumCapabilities
for more details).
pRunAllProcessors :: Int -> [Test] -> IO ()Source
Variant of pRunWithNum
. Run a list of QuickCheck properties in parallel
chunks, using all Processors.
pRunWithNum :: Int -> Int -> [Test] -> IO ()Source
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.