Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.IOTasks.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 {
- maxIterationUnfold :: Int
- valueSize :: Integer
- solverTimeout :: Int
- maxTimeouts :: Int
- testsPerPath :: Int
- maxNegative :: Int
- terminalOutput :: Bool
- feedbackStyle :: FeedbackStyle
- avoidOverflows :: Bool
- solverMaxSeqLength :: Int
}
stdArgs :: Args
data FeedbackStyle = FeedbackStyle {
- simplifyFeedback :: Bool
- traceStyle :: TraceStyle
}
data TraceStyle
- = HorizontalTrace
- | VerticalTrace
defaultFeedback :: FeedbackStyle
data Outcome = Outcome CoreOutcome OutcomeHints
data CoreOutcome
- = Success Int
- | Failure Inputs ExpectedRun ActualRun MatchResult
- | GaveUp
data OutcomeHints
- = NoHints
- | OverflowHint Int
type ExpectedRun = NTrace
type ActualRun = NTrace
isSuccess :: Outcome -> Bool
isFailure :: Outcome -> Bool
overflowWarnings :: Outcome -> Int
printOutcomeWith :: FeedbackStyle -> Outcome -> Doc
pPrintOutcomeHints :: OutcomeHints -> Doc
taskCheckOn :: [Inputs] -> IOrep () -> Specification -> Outcome
generateStaticTestSuite :: Args -> Specification -> IO [Inputs]
type Inputs = [Line]

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

Args

Fields

maxIterationUnfold :: Int
maximum number of iteration unfoldings when searching for satisfiable paths. (indirectly controls maximum path length)
valueSize :: Integer
size of randomly generated input candidates (the solver might find bigger solutions)
solverTimeout :: Int
solver timeout in milliseconds
maxTimeouts :: Int
maximum number of solver timeouts before giving up
testsPerPath :: Int
minimum number of tests generated per path (when using InputMode UntilValid more test will be performed)
maxNegative :: Int
maximum number of negative inputs per path (for InputMode UntilValid)
terminalOutput :: Bool
print extra information
feedbackStyle :: FeedbackStyle
feedback formating
avoidOverflows :: Bool
check that intermediate results do not cause Int overflows, including parts of OutputTerms when possible (best-effort, no guarantees on completeness)
solverMaxSeqLength :: Int
maximum length of string values in the backend solver. Smaller values may speed up test case generation, at the risk of not finding some satisfiable paths

stdArgs :: Args Source #

data FeedbackStyle Source #

Constructors

FeedbackStyle
Fields simplifyFeedback :: Bool cleanup feedback for educational use traceStyle :: TraceStyle trace printing style

data TraceStyle Source #

Constructors

HorizontalTrace
VerticalTrace

defaultFeedback :: FeedbackStyle Source #

data Outcome Source #

Constructors

Outcome CoreOutcome OutcomeHints

Instances

Instances details

Monoid Outcome Source #
Instance details Defined in Test.IOTasks.Testing Methods mempty :: Outcome # mappend :: Outcome -> Outcome -> Outcome # mconcat :: [Outcome] -> Outcome #
Semigroup Outcome Source #
Instance details Defined in Test.IOTasks.Testing Methods (<>) :: Outcome -> Outcome -> Outcome # sconcat :: NonEmpty Outcome -> Outcome # stimes :: Integral b => b -> Outcome -> Outcome #
Show Outcome Source #
Instance details Defined in Test.IOTasks.Testing Methods showsPrec :: Int -> Outcome -> ShowS # show :: Outcome -> String # showList :: [Outcome] -> ShowS #
Eq Outcome Source #
Instance details Defined in Test.IOTasks.Testing Methods (==) :: Outcome -> Outcome -> Bool # (/=) :: Outcome -> Outcome -> Bool #

data CoreOutcome Source #

Constructors

Success Int
Failure Inputs ExpectedRun ActualRun MatchResult
GaveUp

Instances

Instances details

Monoid CoreOutcome Source #
Instance details Defined in Test.IOTasks.Testing Methods mempty :: CoreOutcome # mappend :: CoreOutcome -> CoreOutcome -> CoreOutcome # mconcat :: [CoreOutcome] -> CoreOutcome #
Semigroup CoreOutcome Source #
Instance details Defined in Test.IOTasks.Testing Methods (<>) :: CoreOutcome -> CoreOutcome -> CoreOutcome # sconcat :: NonEmpty CoreOutcome -> CoreOutcome # stimes :: Integral b => b -> CoreOutcome -> CoreOutcome #
Show CoreOutcome Source #
Instance details Defined in Test.IOTasks.Testing Methods showsPrec :: Int -> CoreOutcome -> ShowS # show :: CoreOutcome -> String # showList :: [CoreOutcome] -> ShowS #
Eq CoreOutcome Source #
Instance details Defined in Test.IOTasks.Testing Methods (==) :: CoreOutcome -> CoreOutcome -> Bool # (/=) :: CoreOutcome -> CoreOutcome -> Bool #

data OutcomeHints Source #

Constructors

NoHints
OverflowHint Int

Instances

Instances details

Monoid OutcomeHints Source #
Instance details Defined in Test.IOTasks.Testing Methods mempty :: OutcomeHints # mappend :: OutcomeHints -> OutcomeHints -> OutcomeHints # mconcat :: [OutcomeHints] -> OutcomeHints #
Semigroup OutcomeHints Source #
Instance details Defined in Test.IOTasks.Testing Methods (<>) :: OutcomeHints -> OutcomeHints -> OutcomeHints # sconcat :: NonEmpty OutcomeHints -> OutcomeHints # stimes :: Integral b => b -> OutcomeHints -> OutcomeHints #
Show OutcomeHints Source #
Instance details Defined in Test.IOTasks.Testing Methods showsPrec :: Int -> OutcomeHints -> ShowS # show :: OutcomeHints -> String # showList :: [OutcomeHints] -> ShowS #
Eq OutcomeHints Source #
Instance details Defined in Test.IOTasks.Testing Methods (==) :: OutcomeHints -> OutcomeHints -> Bool # (/=) :: OutcomeHints -> OutcomeHints -> Bool #

type ExpectedRun = NTrace Source #

type ActualRun = NTrace Source #

isSuccess :: Outcome -> Bool Source #

isFailure :: Outcome -> Bool Source #

overflowWarnings :: Outcome -> Int Source #

printOutcomeWith :: FeedbackStyle -> Outcome -> Doc Source #

pPrintOutcomeHints :: OutcomeHints -> Doc Source #

pre-computed test suites

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

generateStaticTestSuite :: Args -> Specification -> IO [Inputs] Source #

type Inputs = [Line] Source #