PropCheck.StateM.next_state
You're seeing just the callback
next_state
, go back to PropCheck.StateM module for more information.
Specs
next_state( s :: symbolic_state() | dynamic_state(), res :: term(), call :: symbolic_call() ) :: symbolic_state() | dynamic_state()
Specifies the next state of the abstract state machine, given the
current state s
, the symbolic call
chosen and its result res
. This
function is called both at command generation and command execution time
in order to update the model state, therefore the state s
and the
result Res
can be either symbolic or dynamic.