pbesinfo1
Display basic information about a pbes
Usage
pbesinfo [OPTION] ...
[INFILE]
Overview
Print basic information about the PBES in INFILE. If INFILE is not present, standard input is used.
Options
- OPTION can be any of the following:
-
-f, --full -
display the predicate variables and their signature
-
-iFORMAT, --in=FORMAT -
use input format FORMAT: 'pbes' PBES in internal format 'pbes_text' PBES in internal textual format 'text' PBES in textual (mCRL2) format 'bes' BES in internal format 'bes_text' BES in internal textual format 'cwi' BES in CWI format 'pgsolver' BES in PGSolver 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 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
4 releases since Debian 6.0 (Squeeze); the text changed 3 times.
--in since Debian 7 (Wheezy);
--log-level since Debian 7 (Wheezy);
--timings since Debian 7 (Wheezy);
-i since Debian 7 (Wheezy).
--mcrl2-gui until Debian 6.0 (Squeeze).