[Simulavr-devel] dump manager and special trace options

[Klaus Rudolph]

Hi,

can someone explain what the options

-c <tracing-option>   Enables a tracer with a set of options. The format for
                      <tracing-option> is:
                      <tracer>[:further-options ...]
-o <trace-value-file> Specifies a file into which all available trace
value names
                      will be written.


do?

Yes, I will have a deeper view into the code next days, but if someone
can give a short introduction, it would be nice!

Regards
 Klaus