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

• maxDiscardedRatio :: Int

  maximum number of discarded tests per successful test

• computeSize :: Int -> Int -> Int

  how to compute the size of test cases from discarded tests

• numTotMaxShrinks :: !Int

  How many shrinks to try before giving up

• 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