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.

Link to this function

run_commands(mod, cmds, env)

View Source

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.