Test.SmartCheck.Args

SmartCheck arguments.

Documentation

data ScArgs

Constructors

ScArgs

Fields

• format :: Format

  How to show extrapolated formula

• qcArgs :: Args

  QuickCheck arguments

• scMaxSize :: Int

  Maximum size of data to generate, in terms of the size parameter of QuickCheck's Arbitrary instance for your data.

• scMaxDepth :: Maybe Int

  How many levels into the structure of the failed value should we descend when reducing or generalizing? Nothing means we go down to base types.

• scMaxReduce :: Int

  How hard (number of rounds) to look for failure in the reduction stage.

• runForall :: Bool

  Should we extrapolate?

• scMaxForall :: Int

  How hard (number of rounds) to look for failures during the extrapolation stage.

• scMinForall :: Int

  Minimum number of times a property's precondition must be passed to generalize it.

• runExists :: Bool

  Should we try to generalize constructors?

• scMaxExists :: Int

  How hard (number of rounds) to look for failing values with each constructor. For "wide" sum types, this value should be increased.

Instances

Read ScArgs

Methods

readsPrec :: Int -> ReadS ScArgs

readList :: ReadS [ScArgs]

readPrec :: ReadPrec ScArgs

readListPrec :: ReadPrec [ScArgs]

Show ScArgs

Methods

showsPrec :: Int -> ScArgs -> ShowS

show :: ScArgs -> String

showList :: [ScArgs] -> ShowS

scStdArgs :: ScArgs

data Format

Constructors

PrintTree

PrintString

Instances

Eq Format

Methods

(==) :: Format -> Format -> Bool

(/=) :: Format -> Format -> Bool

Read Format

Methods

readsPrec :: Int -> ReadS Format

readList :: ReadS [Format]

readPrec :: ReadPrec Format

readListPrec :: ReadPrec [Format]

Show Format

Methods

showsPrec :: Int -> Format -> ShowS

show :: Format -> String

showList :: [Format] -> ShowS