PropCheck.StateM.parallel_commands

You're seeing just the function parallel_commands, go back to PropCheck.StateM 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.

Link to this function

parallel_commands(mod, initial_state)

View Source

Similar to parallel_commands/1, but generated command sequences always start at a given state.