| 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
|
| collected :: [[(String, Int)]] | all labels that have been collected so far
|
| expectedFailure :: Bool | indicates if the property is expected to fail
|
| randomSeed :: StdGen | the current random seed
|
| isShrinking :: Bool | are we in a shrinking phase?
|
| numSuccessShrinks :: Int | number of successful shrinking steps so far
|
| numTryShrinks :: Int | number of failed shrinking steps since the last successful shrink
|