prespp

Usage

prespp   [OPTION]... [INFILE [OUTFILE]]

Print the PRES in INFILE to OUTFILE in a human readable format. If OUTFILE is not present, stdout is used. If INFILE is not present, stdin is used.

-fFORMAT , --format=FORMAT

print the PRES in the specified FORMAT:

default

a PRES specification

internal

a textual ATerm representation of the internal format

--timings[=FILE]

append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

-q , --quiet

do not display warning messages

-v , --verbose

display short log messages

-d , --debug

display detailed log messages

--log-level=LEVEL

display log messages up to and including level; either warn, verbose, debug or trace

-h , --help

display help information

--version

display version information

--help-all

display help information, including hidden and experimental options

Jan Friso Groote