Test.QuickCheck.Test

The main test loop.

Running tests

data Args

Args specifies arguments to the QuickCheck driver

Constructors

Args

Fields

• replay :: Maybe (QCGen, Int)

  Should we replay a previous test? Note: saving a seed from one version of QuickCheck and replaying it in another is not supported. If you want to store a test case permanently you should save the test case itself.

• maxSuccess :: Int

  Maximum number of successful tests before succeeding. Testing stops at the first failure. If all tests are passing and you want to run more tests, increase this number.

• maxDiscardRatio :: Int

  Maximum number of discarded tests per successful test before giving up

• maxSize :: Int

  Size to use for the biggest test cases

• chatty :: Bool

  Whether to print anything

• maxShrinks :: Int

  Maximum number of shrinks to before giving up. Setting this to zero turns shrinking off.

Instances

Read Args

Defined in Test.QuickCheck.Test

Methods

readsPrec :: Int -> ReadS Args

readList :: ReadS [Args]

readPrec :: ReadPrec Args

readListPrec :: ReadPrec [Args]

Show Args

Defined in Test.QuickCheck.Test

Methods

showsPrec :: Int -> Args -> ShowS

show :: Args -> String

showList :: [Args] -> ShowS

data Result

Result represents the test result

Constructors

Success

A successful test run

Fields

• numTests :: Int

  Number of tests performed

• labels :: [(String, Double)]

  Labels and frequencies found during all successful tests

• output :: String

  Printed output

GaveUp

Given up

Fields

• numTests :: Int

  Number of tests performed

• labels :: [(String, Double)]

  Labels and frequencies found during all successful tests

• output :: String

  Printed output

Failure

A failed test run

Fields

• numTests :: Int

  Number of tests performed

• numShrinks :: Int

  Number of successful shrinking steps performed

• numShrinkTries :: Int

  Number of unsuccessful shrinking steps performed

• numShrinkFinal :: Int

  Number of unsuccessful shrinking steps performed since last successful shrink

• usedSeed :: QCGen

  What seed was used

• usedSize :: Int

  What was the test size

• reason :: String

  Why did the property fail

• theException :: Maybe AnException

  The exception the property threw, if any

• labels :: [(String, Double)]

  Labels and frequencies found during all successful tests

• output :: String

  Printed output

• failingTestCase :: [String]

  The test case which provoked the failure

NoExpectedFailure

A property that should have failed did not

Fields

• numTests :: Int

  Number of tests performed

• labels :: [(String, Double)]

  Labels and frequencies found during all successful tests

• output :: String

  Printed output

InsufficientCoverage

The tests passed but a use of cover had insufficient coverage

Fields

• numTests :: Int

  Number of tests performed

• labels :: [(String, Double)]

  Labels and frequencies found during all successful tests

• output :: String

  Printed output

Instances

Show Result

Defined in Test.QuickCheck.Test

Methods

showsPrec :: Int -> Result -> ShowS

show :: Result -> String

showList :: [Result] -> ShowS

isSuccess :: Result -> Bool

Check if the test run result was a success

stdArgs :: Args

The default test arguments

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

Tests a property and prints the results to stdout.

By default up to 100 tests are performed, which may not be enough to find all bugs. To run more tests, use withMaxSuccess.

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

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

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

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

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

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

verboseCheck :: Testable prop => prop -> IO ()

Tests a property and prints the results and all test cases generated to stdout. This is just a convenience function that means the same as quickCheck . verbose.

verboseCheckWith :: Testable prop => Args -> prop -> IO ()

Tests a property, using test arguments, and prints the results and all test cases generated to stdout. This is just a convenience function that combines quickCheckWith and verbose.

verboseCheckResult :: Testable prop => prop -> IO Result

Tests a property, produces a test result, and prints the results and all test cases generated to stdout. This is just a convenience function that combines quickCheckResult and verbose.

verboseCheckWithResult :: Testable prop => Args -> prop -> IO Result

Tests a property, using test arguments, produces a test result, and prints the results and all test cases generated to stdout. This is just a convenience function that combines quickCheckWithResult and verbose.

test :: State -> (QCGen -> Int -> Prop) -> IO Result

doneTesting :: State -> (QCGen -> Int -> Prop) -> IO Result

giveUp :: State -> (QCGen -> Int -> Prop) -> IO Result

runATest :: State -> (QCGen -> Int -> Prop) -> IO Result

failureSummary :: State -> Result -> String

failureReason :: State -> Result -> [String]

failureSummaryAndReason :: State -> Result -> (String, [String])

summary :: State -> [(String, Double)]

success :: State -> IO ()

formatLabel :: Int -> Bool -> (String, Double) -> String

labelCount :: String -> State -> Int

percentage :: Integral a => State -> a -> Double

insufficientlyCovered :: State -> [(String, Int, Double)]

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

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

localMin' :: State -> Result -> [Rose Result] -> IO (Int, Int, Int, Result)

localMinFound :: State -> Result -> IO (Int, Int, Int, Result)

callbackPostTest :: State -> Result -> IO Result

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