PropCheck.StateM.postcondition
You're seeing just the callback
postcondition
, go back to PropCheck.StateM module for more information.
Specs
postcondition(s :: dynamic_state(), call :: symbolic_call(), res :: term()) :: boolean()
Specifies the postcondition that should hold about the result res
of
performing call
, given the dynamic state s
of the abstract state
machine prior to command execution.
This function is called during runtime, this is why the state is dynamic.