PropCheck.FSM.next_state_data
You're seeing just the callback
next_state_data
, go back to PropCheck.FSM module for more information.
Specs
next_state_data( from :: state_name(), target :: state_name(), state_data :: state_data(), result :: result(), call :: symbolic_call() ) :: state_data()
Similar to PropCheck.StateM.next_state/3
. Specifies how the
transition from from
to target
triggered by call
affects the
state_data
. res
refers to the result of call
and can be either
symbolic or dynamic.