PropCheck.StateM.command
You're seeing just the callback
command
, go back to PropCheck.StateM module for more information.
Specs
command(s :: symbolic_state()) :: PropCheck.BasicTypes.type()
Generates a symbolic call to be included in the command sequence,
given the current state s
of the abstract state machine.
However, before the call is actually included, a precondition is checked. This function will be repeatedly called to produce the next call to be included in the test case.