PropCheck.FSM.state_names
You're seeing just the function
state_names
, go back to PropCheck.FSM module for more information.
Specs
state_names(history()) :: [state_name()]
Extracts the names of the states from a given command execution history.
It is useful in combination with functions such as PropCheck.aggregate/2
in order to collect statistics about state transitions during command
execution.