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.

Simple test driver

test :: Enumerable a => (a -> Bool) -> IO (Result a)

Test with default options (defOptions).

data Result a

Instances

Show a => Show (Result a)

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

counterexamples :: Result a -> [a]

Test driver with show/readable options

testOptions :: Enumerable a => Options -> (a -> Bool) -> IO (Result a)

Test with basic options.

data Options

Basic options for executing a test. Unlike FlexibleOptions this type has Show/Read instances.

Constructors

Options

Fields

• oTimeoutSec :: Maybe Int
• oSizeFromTo :: Maybe (Int, Int)

  (first size, last size)

• oMaxCounter :: Maybe Int

  Maximum number of counterexamples

• oSilent :: Bool
• oSkipping :: Maybe (Index, Integer)

  (start-index, steps to skip)

• oBounded :: Maybe Integer

  Maximum number of tests per size

Instances

Read Options

Methods

readsPrec :: Int -> ReadS Options

readList :: ReadS [Options]

readPrec :: ReadPrec Options

readListPrec :: ReadPrec [Options]

Show Options

Methods

showsPrec :: Int -> Options -> ShowS

show :: Options -> String

showList :: [Options] -> ShowS

defOptions :: Options

60 seconds timeout, maximum size of 100, bound of 100000 tests per size

Extremely flexible test driver

testFlex :: FlexibleOptions a -> (a -> Bool) -> IO (Result a)

The most flexible test driver, can be configured to behave in almost any way.

type FlexibleOptions a = IO (FlexOptions a)

Much more flexible options for configuring every part of the test execution. a is the parameter type of the property.

data FlexOptions a

FlexOptions

Constructors

FlexOptions

Fields

• fIO :: IO Bool -> IO (Result a)

  The whole execution of the test is sent through this function.

• fReport :: a -> IO Bool

  Applied to each found counterexample, return False to stop testing

• fOutput :: String -> IO ()

  Print text

• fProcess :: Enumerate a -> Enumerate a

  Applied to the enumeration before running

• fEnum :: Enumerate a

  The base enumeration to use, before applying fProcess.

defFlex :: Enumerable a => FlexibleOptions a

toFlex :: Enumerable a => Options -> FlexibleOptions a

toFlexWith :: Enumerate a -> Options -> FlexibleOptions a