command_names/1 | |
commands/1 | |
commands/2 | |
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. |
zip/2 |
command_names(Calls) -> any()
commands(Module) -> any()
commands(Module, InitialState) -> 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 aModule
and Commands
, a value picked from the domain
triq_statem:commands(Module)
zip(X, Y) -> any()
Generated by EDoc, Mar 29 2016, 02:06:24.