execute_traces - Executes complete traces on the model FSM
execute_traces [-h] [-v] [-m | -o output-file] -e engine [-a | trace_number]
Executes traces stored in the Trace Manager. If
no trace is specified, last registered trace is
executed. Traces must be complete in order to
perform execution.
Command Options:
- -v
- Verbosely prints traces execution steps
- -a
- Prints all the currently stored traces.
- -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
- -e executor
- Selects an executor for trace re-execution.
- trace_number
- The (ordinal) identifier number of the trace to be printed.
Last updated on 2011/04/06 21h:13