PropCheck.FSM.initial_state
You're seeing just the callback
initial_state
, go back to PropCheck.FSM module for more information.
Specs
initial_state() :: state_name()
Specifies the initial state of the finite state machine. As with
PropCheck.StateM.initial_state/0
, its result should be deterministic.