PropCheck.StateM.ModelDSL.command_names
You're seeing just the function
command_names
, go back to PropCheck.StateM.ModelDSL module for more information.
Extracts the names of the commands from a given command sequence, in the form of MFAs.
It is useful in combination with functions such as
PropCheck.aggregate/2
in order to collect statistics about command
execution.