PropCheck.FSM.commands
You're seeing just the function
commands
, go back to PropCheck.FSM module for more information.
Specs
commands(mod_name()) :: PropCheck.type()
A special PropEr type which generates random command sequences, according to a finite state machine specification.
The function takes as
input the name of a callback module, which contains the fsm specification.
The initial state is computed by
{mod.initial_state/0, mod:initial_state_data/0}
.
Specs
commands(mod_name(), fsm_state()) :: PropCheck.type()
Similar to commands/1
, but generated command sequences always
start at a given state.
In this case, the first command is always
{:init, initial_state = {name, data}}
and is used to correctly initialize the
state every time the command sequence is run (i.e. during normal execution,
while shrinking and when checking a counterexample).