QuickCheck-2.1.0.3: Automatic testing of Haskell programs

Test.QuickCheck.Test

Contents

Running tests

Synopsis

Running tests

data Args Source

Args specifies arguments to the QuickCheck driver

Constructors

Args
Fields replay :: Maybe (StdGen, Int) should we replay a previous test? maxSuccess :: Int maximum number of successful tests before succeeding maxDiscard :: Int maximum number of discarded tests before giving up maxSize :: Int size to use for the biggest test cases

Instances

Read Args
Show Args

data Result Source

Result represents the test result

Constructors

Success
Fields labels :: [(String, Int)] labels and frequencies found during all tests
GaveUp
Fields numTests :: Int number of successful tests performed labels :: [(String, Int)] labels and frequencies found during all tests
Failure
Fields usedSeed :: StdGen what seed was used usedSize :: Int what was the test size reason :: String what was the reason labels :: [(String, Int)] labels and frequencies found during all tests
NoExpectedFailure
Fields labels :: [(String, Int)] labels and frequencies found during all tests

Instances

Read Result
Show Result

isSuccess :: Result -> Bool Source

isSuccess checks if the test run result was a success

stdArgs :: Args Source

stdArgs are the default test arguments used

quickCheck :: Testable prop => prop -> IO ()Source

Tests a property and prints the results to stdout.

quickCheckWith :: Testable prop => Args -> prop -> IO ()Source

Tests a property, using test arguments, and prints the results to stdout.

quickCheckResult :: Testable prop => prop -> IO Result Source

Tests a property, produces a test result, and prints the results to stdout.

quickCheckWithResult :: Testable prop => Args -> prop -> IO Result Source

Tests a property, using test arguments, produces a test result, and prints the results to stdout.

test :: State -> (StdGen -> Int -> Prop) -> IO Result Source

doneTesting :: State -> (StdGen -> Int -> Prop) -> IO Result Source

giveUp :: State -> (StdGen -> Int -> Prop) -> IO Result Source

runATest :: State -> (StdGen -> Int -> Prop) -> IO Result Source

summary :: State -> [(String, Int)]Source

success :: State -> IO ()Source

foundFailure :: State -> Result -> [Rose (IO Result)] -> IO ()Source

localMin :: State -> Result -> [Rose (IO Result)] -> IO ()Source

localMinFound :: State -> Result -> IO ()Source

callbackPostTest :: State -> Result -> IO ()Source

callbackPostFinalFailure :: State -> Result -> IO ()Source