prespp
- orphan:
Usage
prespp [OPTION]... [INFILE [OUTFILE]]
Description
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.
Command line options
-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
Standard options
-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