SYNOPSIS

ltsmin-printtrace [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=<file.c>

Enable debugging output for file.c (option allowed multiple times).

--version

Print version string of this tool.

-h, --help

Print help text

--usage

Print short usage summary.

File Formats

The following file formats are supported:

  • Directory format (*.dir, *.dz and *.gcf)

  • Vector format (*.dir, *.gcd, *.gcf)

  • Binary Coded Graphs (*.bcg)

  • Aldebaran Format (*.aut)

  • FSM Format (*.fsm)

  • MRMC/Prism (*.tra+*.lab)

  • PGSolver format (*.pg)

If a tool operates in streaming mode then support for file formats is limited, as can be seen in the following table:

Format Streaming mode Load/Store mode

DIR

R/W

R/W

VEC

R/W

R/W

BCG

W

R/W

AUT

W

R/W

FSM

W

W

TRA

-

R/W

PG

-

W

The directory format uses multiple files to store an LTS. The various extension explain how these files are stored in the underlying file system. The *.dir format uses multiple files in a directory without compression. If the LTS has one edge label, no state labels and does not store state vectors then these files are backwards compatible. Neither the *.dz nor the *.gcf formats are backwards compatible. Both formats use compression. The first uses a directory for the files, second interleaves files into a single file.

If you try to open a *.dir with the old mCRL tools and you get the error message:

wrong file version: 0

then the directory is probably compressed. If that happens then you may convert the directory by typing the command:

ltsmin-convert bad.dir good.dir

Print trace 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.

--trace=INT

If the input contains multiple traces then this options may be used to select the trace that will be printed.

EXIT STATUS

0

Successful termination.

255

Some error occurred.

SEE ALSO

lpo2lts-seq(1), etf2lts-seq(1), lps2lts-seq(1), lpo2lts-sym(1), etf2lts-sym(1), lps2lts-sym(1), lpo2lts-dist(1), etf2lts-dist(1), lps2lts-dist(1), lpo2lts-mc(1), etf2lts-mc(1), lps2lts-mc(1), etc