Test.StateMachine

Sequential property combinators

data Program act

programLength

forAllProgram

monadicSequential

runProgram

prettyProgram

actionNames

checkActionNames

Parallel property combinators

data ParallelProgram act

data History act err

monadicParallel

runParallelProgram

runParallelProgram'

prettyParallelProgram

With counterexamples

forAllProgramC

monadicSequentialC

monadicParallelC

Types

Reexport

quickCheck