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:12