smartcheck-0.2.4: A smarter QuickCheck.
Test.SmartCheck.Args
Description
SmartCheck arguments.
data ScArgs Source #
Constructors
Fields
How to show extrapolated formula
QuickCheck arguments
Maximum size of data to generate, in terms of the size parameter of QuickCheck's Arbitrary instance for your data.
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.
How hard (number of rounds) to look for failure in the reduction stage.
Should we extrapolate?
How hard (number of rounds) to look for failures during the extrapolation stage.
Minimum number of times a property's precondition must be passed to generalize it.
Should we try to generalize constructors?
How hard (number of rounds) to look for failing values with each constructor. For "wide" sum types, this value should be increased.
Instances
Methods
readsPrec :: Int -> ReadS ScArgs #
readList :: ReadS [ScArgs] #
readPrec :: ReadPrec ScArgs #
readListPrec :: ReadPrec [ScArgs] #
showsPrec :: Int -> ScArgs -> ShowS #
show :: ScArgs -> String #
showList :: [ScArgs] -> ShowS #
scStdArgs :: ScArgs Source #
data Format Source #
(==) :: Format -> Format -> Bool #
(/=) :: Format -> Format -> Bool #
readsPrec :: Int -> ReadS Format #
readList :: ReadS [Format] #
readPrec :: ReadPrec Format #
readListPrec :: ReadPrec [Format] #
showsPrec :: Int -> Format -> ShowS #
show :: Format -> String #
showList :: [Format] -> ShowS #