|
Test.QuickCheck.Batch | Portability | non-portable (uses Control.Exception, Control.Concurrent) | Stability | experimental | Maintainer | libraries@haskell.org |
|
|
|
Description |
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.
|
|
Synopsis |
|
|
|
Documentation |
|
|
Run the test.
Here we use the same random number each time,
so we get reproducable results!
|
|
|
Prints a one line summary of various tests with common theme
|
|
|
|
|
Constructors | TestOptions | | 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 | |
|
|
|
|
|
|
|
|
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)
|
|
|
|
Produced by Haddock version 0.9 |