SYNOPSIS
ltsmin-tracepp [OPTIONS] <input> [<output>]
DESCRIPTION
This tool reads a trace output written with the --trace option and converts it into the desired output file format. <output> specifies the name of the output archive. The desired format is deduced from the filename extension.
Supported output file extensions are:
-
txt: Textual output
-
aut: Aldebaran file format
-
csv: Comma separated values
If no output file is given, txt output will be written to stdout.
OPTIONS
General Options
- -v
-
Increase the level of verbosity
- -q
-
Be quiet; do not print anything to the terminal.
- --debug
-
Enable debugging output.
- --version
-
Print version string of this tool.
- -h, --help
-
Print help text
- --usage
-
Print short usage summary.
Tracepp Options
- -s, --csv-separator
-
Define a custom the separator used in csv output
- --values=TYPE
-
Select the output type: idx or name. With idx the state vector, edge- and state labels will be displayed as number, with name these numbers will be translated (if possible) to their text representation.
- -a, --all
-
Output all the values in state/state labels/edge labels instead of differences. This option works for txt output.
- -d, --diff
-
Output differences between state/state labels/edge labels instead of just all values. This option works for txt output.
- -t, --table
-
Output the trace in tabular form. This option works for txt output.
- -l, --list
-
Output the trace in list form. This option works for txt output.
EXIT STATUS
- 0
-
Successful termination.
- >0
-
Some error occurred.