Test.QuickCheck.State

QuickCheck's internal state. Internal QuickCheck module.

Documentation

data State

State represents QuickCheck's internal state while testing a property. The state is made visible to callback functions.

Constructors

MkState

Fields

terminal :: Terminal

the current terminal

maxSuccessTests :: Int

maximum number of successful tests needed

maxDiscardedTests :: Int

maximum number of tests that can be discarded

computeSize :: Int -> Int -> Int

how to compute the size of test cases from discarded tests

numSuccessTests :: !Int

the current number of tests that have succeeded

numDiscardedTests :: !Int

the current number of discarded tests

numRecentlyDiscardedTests :: !Int

the number of discarded tests since the last successful test

labels :: !(Map String Int)

all labels that have been defined so far

collected :: ![Set String]

all labels that have been collected so far

expectedFailure :: !Bool

indicates if the property is expected to fail

randomSeed :: !QCGen

the current random seed

numSuccessShrinks :: !Int

number of successful shrinking steps so far

numTryShrinks :: !Int

number of failed shrinking steps since the last successful shrink

numTotTryShrinks :: !Int

total number of failed shrinking steps