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.

Simple test driver

1 declaration

valuetest :: Enumerable a => (a -> Bool) -> IO [a]

Test with default options (defOptions). Returns a list of counterexamples

3 declarations

valuetestOptions :: Enumerable a => Options -> (a -> Bool) -> IO [a]

Test with basic options. Returns a list of counterexamples.

datadata Options

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

Instances2Read, Show

valuedefOptions :: Options

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

7 declarations

valuetestFlex :: FlexibleOptions a -> (a -> Bool) -> IO (Result, [a])

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

datadata Result

Instances1Show

typetype 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.

datadata FlexOptions a

FlexOptions

valuedefFlex :: Enumerable a => FlexibleOptions a

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

valuetoFlexWith :: Enumerate a -> Options -> FlexibleOptions a