  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/10/28 14h:49
