PropCheck.StateM.ModelDSL.state_after
You're seeing just the function
state_after
, go back to PropCheck.StateM.ModelDSL module for more information.
Returns the symbolic state after running a given command sequence,
according to the state machine specification found in mod
.
The commands are not actually executed.