PropCheck.StateM.ModelDSL.parallel_commands
You're seeing just the function
parallel_commands
, go back to PropCheck.StateM.ModelDSL module for more information.
A special PropEr type which generates parallel test cases, according to an abstract state machine specification.
The function takes as
input the name of a callback module, which contains the state machine
specification. The initial state is computed by mod:initial_state/0
.
Similar to parallel_commands/1
, but generated command sequences
always start at a given state.