PropCheck.StateM.commands
You're seeing just the function
commands
, go back to PropCheck.StateM module for more information.
A special PropEr type which generates random command sequences, according to an abstract state machine specification.
The function takes as
input the name of a callback module, which contains the state machine
specification. The initial state is computed by mod:initial_state/0
.
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}
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). In this case,
mod:initial_state/0
is never called.