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.

Link to this function

commands(mod, initial_state)

View Source

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.