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.