commands(Module) -> any()
prop_statem(Module) -> any()
Boiler-plate property for testing state machines.
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.