Test.StateMachine.Internal.Parallel

generateParallelProgram

shrinkParallelProgram

executeParallelProgram

checkParallelProgram

data History act