| commands/1 | |
| prop_statem/1 | Boiler-plate property for testing state machines. |
| run_commands/2 | |
| run_commands/3 | |
| state_after/2 | Evaluate command list, and return final state. |
commands(Module) -> any()
prop_statem(Module) -> any()
Boiler-plate property for testing state machines.
prop_statem(Module) ->
?FORALL(Commands, commands(Module),
begin
{_,_,ok} = run_commands(Module, Commands),
true
end).
run_commands(Module, Commands) -> any()
run_commands(Module, Commands, Env) -> any()
state_after(Module, Commands) -> any()
Evaluate command list, and return final state.
Given a Module and Commands, a value picked from the domain
triq_statem:commands(Module)
Generated by EDoc, Nov 7 2010, 11:39:46.