PropCheck.FSM.postcondition
You're seeing just the callback
postcondition
, go back to PropCheck.FSM module for more information.
Specs
postcondition( from :: state_name(), target :: state_name(), state_data :: state_data(), call :: symbolic_call(), result :: result() ) :: boolean()
Similar to PropCheck.StateM.postcondition/3
. Specifies the
postcondition that should hold about the result res
of the evaluation
of call
.