bespp1
Pretty print a bes
Usage
bespp [OPTION] ...
[INFILE
[OUTFILE]]
Overview
Print the BES 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.
Options
- OPTION can be any of the following:
-
-fFORMAT, --format=FORMAT -
print the PBES in the specified FORMAT: 'default' for a BES specification (default)
-
--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 intermediate messages
-
-d, --debug -
display detailed intermediate messages
-
--log-level=LEVEL -
display intermediate messages up to and including level
-
-h, --help -
display help information
-
--version -
display version information
Releases
3 releases since Debian 7 (Wheezy); the text changed 2 times.