hylolib-1.4.0: Tools for hybrid logics related programs

Safe HaskellSafe-Infered

HyLo.Test

Documentation

type ModuleName = StringSource

type TestName = StringSource

type TestCase = TestName -> Align -> IO TestResultSource

data TestResult Source

Constructors

OK 
EXHAUSTED 
FAILED 

Instances

type UnitTest = [(TestName, TestCase)]Source

runTest :: Testable a => a -> TestCaseSource

runTestWith :: Testable a => Config -> a -> TestCaseSource

data Config

Constructors

Config 

Fields

configMaxTest :: Int
 
configMaxFail :: Int
 
configSize :: Int -> Int
 
configEvery :: Int -> [String] -> String
 

defaultConfig :: Config

testSuite :: [(ModuleName, UnitTest)] -> [IO TestResult]Source

testModule :: UnitTest -> [IO TestResult]Source

stopOnError :: ([a] -> [IO TestResult]) -> [a] -> IO [TestResult]Source

runCompletely :: ([a] -> [IO TestResult]) -> [a] -> IO [TestResult]Source