PropCheck.StateM.initial_state

You're seeing just the callback initial_state, go back to PropCheck.StateM module for more information.

Specs

initial_state() :: symbolic_state()

Specifies the symbolic initial state of the state machine.

This state will be evaluated at command execution time to produce the actual initial state. The function is not only called at command generation time, but also in order to initialize the state every time the command sequence is run (i.e. during normal execution, while shrinking and when checking a counterexample). For this reason, it should be deterministic and self-contained.