IOTasks

Safe Haskell	None

Test.IOTasks.Random.Testing

Synopsis

taskCheck :: IOrep () -> Specification -> IO ()
taskCheckWith :: Args -> IOrep () -> Specification -> IO ()
taskCheckOutcome :: IOrep () -> Specification -> IO Outcome
taskCheckWithOutcome :: Args -> IOrep () -> Specification -> IO Outcome
data Args = Args {
- maxInputLength :: Maybe Int
- valueSize :: Integer
- numberOfTests :: Int
- maxNegative :: Int
- terminalOutput :: Bool
- feedbackStyle :: FeedbackStyle
- searchTimeout :: Int
- maxSearchTimeouts :: Int
}
stdArgs :: Args
taskCheckOn :: [Inputs] -> IOrep () -> Specification -> Outcome
genInput :: Specification -> Maybe Int -> Size -> Int -> Gen Inputs

Documentation

taskCheck :: IOrep () -> Specification -> IO () Source #

taskCheckWith :: Args -> IOrep () -> Specification -> IO () Source #

taskCheckOutcome :: IOrep () -> Specification -> IO Outcome Source #

taskCheckWithOutcome :: Args -> IOrep () -> Specification -> IO Outcome Source #

data Args Source #

Constructors

Fields

maxInputLength :: Maybe Int
maximum length of input sequences, unbounded if Nothing
valueSize :: Integer
size of randomly generated input candidates (the solver might find bigger solutions)
numberOfTests :: Int
maximum number of generated tests
maxNegative :: Int
maximum number of negative inputs per path (for InputMode UntilValid)
terminalOutput :: Bool
print extra information
feedbackStyle :: FeedbackStyle
cleanup feedback for educational use
searchTimeout :: Int
timeout for restarting input search, in milliseconds
maxSearchTimeouts :: Int
maximum number timeouts before giving up

stdArgs :: Args Source #

pre-computed test suites

taskCheckOn :: [Inputs] -> IOrep () -> Specification -> Outcome Source #

genInput :: Specification -> Maybe Int -> Size -> Int -> Gen Inputs Source #