PropCheck.FSM.run_commands
You're seeing just the function
run_commands
, go back to PropCheck.FSM module for more information.
Specs
run_commands(mod_name(), command_list()) :: {history(), fsm_state(), fsm_result()}
Evaluates a given symbolic command sequence cmds
according to the
finite state machine specified in mod
.
The result is a triple of the form {history, fsm_state, result}
,
similar to PropCheck.StateM.run_commands/2
.
Specs
run_commands(mod_name(), command_list(), :proper_symb.var_values()) :: {history(), fsm_state(), fsm_result()}
Similar to run_commands/2
, but also accepts an environment
used for symbolic variable evaluation, exactly as described in
PropCheck.StateM.run_commands/3
.