Test.StateMachine

Sequential property combinators

data Program act

forAllProgram

runAndCheckProgram

runAndCheckProgram'

Parallel property combinators

data ParallelProgram act

forAllParallelProgram

data History act

runParallelProgram

runParallelProgram'

checkParallelProgram

Types