PropCheck.StateM.ModelDSL.initial_state
You're seeing just the callback
initial_state
, go back to PropCheck.StateM.ModelDSL 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.