PropCheck.StateM.ModelDSL.print_report
You're seeing just the function
print_report
, go back to PropCheck.StateM.ModelDSL module for more information.
Print pretty report of the failed command run.
Note that it by default aliases every commands module, so only the last part of the namespace will be used.
Accepts options:
return_values
- whether to print return values after each command run (defaulttrue
),last_state
- whether section with the last state should be present (defaulttrue
),pre_cmd_state
- whether to print state prior to executed command (defaultfalse
),post_cmd_state
- whether to print state post executed command (defaulttrue
),cmd_args
- whether to print command arguments as literals (defaulttrue
),inspect_opts
- options passed toinspect/2
alias
- set a list of modules and aliases, to be used to pretty print commands. Accepts amodule/0
, a tuple of type{module(), alias :: module()}
or a list of them (default is to alias every command's module - if you want to disable default aliasing set it to[]
).