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
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.
Specs
Runs the list of generated commands according to the model.
Returns the result, the history and the final state of the model.