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}.

Link to this function

commands(mod, initial_state)

View Source

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).