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 engine
- Selects an engine for trace re-execution. It must be one of 'bdd',
'sat'.
- trace_number
- The (ordinal) identifier number of the trace to be printed.
Last updated on 2010/05/19 15h:56