PropCheck.StateM.ModelDSL.command_gen
You're seeing just the callback
command_gen
, go back to PropCheck.StateM.ModelDSL module for more information.
Specs
command_gen(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. Must return a type that
generates tuples
{command_name :: atom, args :: [PropCheck.BasicTypes.type]}
.
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.