Cryptol.Testing.Eval

Evaluate test cases and handle exceptions appropriately

Documentation

data TestResult

A test result is either a pass, a failure due to evaluating to False, or a failure due to an exception raised during evaluation

Constructors

Pass

FailFalse [Value]

FailError EvalError [Value]

runOneTest :: Value -> [Value] -> IO TestResult

Apply a testable value to some arguments. Note that this function assumes that the values come from a call to testableType (i.e., things are type-correct). We run in the IO monad in order to catch any EvalErrors.