Test with default options (defOptions). Returns a list of counterexamples
Moduletesting-feat-1.1.1.1Haskell2010
Test.Feat.Driver
A simple testing driver for testing properties using FEAT. Contains three drivers with different levels of flexibility of configuration.
Ironically, this code is mostly untested at the moment.
Synopsis
- value test
- value testOptions
- data Options
- value defOptions
- value testFlex
- data Result
- type FlexibleOptions
- data FlexOptions
- value defFlex
- value toFlex
- value toFlexWith
- Packagetesting-feat-1.1.1.1
- Exports11
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceDriver.hs
Simple test driver
Test driver with show/readable options
Test with basic options. Returns a list of counterexamples.
Basic options for executing a test. Unlike FlexibleOptions this type has Show/Read instances.
60 seconds timeout, maximum size of 100, bound of 100000 tests per size
Extremely flexible test driver
The most flexible test driver, can be configured to behave in almost any way.
Much more flexible options for configuring every part of the test execution.
a is the parameter type of the property.
FlexOptions
Constructors
FlexOptionsfIO :: IO Bool -> IO (Result, [a])The whole execution of the test is sent through this function.
fReport :: a -> IO BoolApplied to each found counterexample, return False to stop testing
fOutput :: String -> IO ()Print text
fProcess :: Enumerate a -> Enumerate aApplied to the enumeration before running
fEnum :: Enumerate aThe base enumeration to use, before applying
fProcess.