show_traces - Shows the traces generated in a NuSMV session
show_traces [ [-h] [-v] [-m | -o output-file] [-A] -t | [-d] -a | trace_number[.from_state[:[to_state]]] ]
Shows the traces currently stored in system memory, if
any. By default it shows the last generated trace, if any. A trace number
can be specified optionally followed by a slice denoting the steps top be
shown. Negative numbers can be used to denote steps in a right-to-left fashion.
(i.e. -1 denotes last step, -2 is the previous and so forth.)
Command Options:
- -v
- Verbosely prints traces content (all state variables, otherwise
it prints out only those variables that have changed their value from
previous state).
- -t
- Prints only the total number of currently stored traces.
- -a
- Prints all the currently stored traces.
- -A
- Prints traces in an anonimized form.
- -d
- Disables DEFINEs printout in traces
- -p trace plugin
- Uses the specified trace plugin to explain the trace.
- -m
- Pipes the output through the program specified
by the PAGER shell variable if defined, else through the
UNIX command "more".
- -o output-file
- Writes the output generated by the command to output-file
- trace_number
- The (ordinal) identifier number of the trace to be printed.
- from_state
- Denotes left end of the trace slice to be printed.
- to_state
- Denotes right end of the trace slice to be printed.
Last updated on 2010/05/19 22h:25