PropCheck.StateM.DSL.run_commands

You're seeing just the function run_commands, go back to PropCheck.StateM.DSL module for more information.
This function is deprecated. Use run_commands/2 instead!.

Specs

run_commands([command()]) :: t()

Runs the list of generated commands according to the model.

Returns the result, the history and the final state of the model.

Due to an internal refactoring and to achieve a common API with the PropCheck.StateM module, we changed the API for run_commands. This implementation infers the callback module from the first generated command. Usually, this will be the case, but we cannot rely on that.

Link to this function

run_commands(mod, commands)

View Source

Specs

run_commands(atom(), [command()]) :: t()

Runs the list of generated commands according to the model.

Returns the result, the history and the final state of the model.