Test.StateMachine

Sequential property combinators

data Program act

programLength

forAllProgram

monadicSequential

runProgram

prettyProgram

actionNames

checkActionNames

Parallel property combinators

data ParallelProgram act

forAllParallelProgram

data History act err

monadicParallel

runParallelProgram

runParallelProgram'

prettyParallelProgram

With counterexamples

forAllProgramC

monadicSequentialC

forAllParallelProgramC

monadicParallelC

Types

Reexport

quickCheck