lps2torx1
Provide torx explorer interface to an lps
Usage
lps2torx [OPTION] ...
INFILE
Overview
Provide a TorX explorer interface to the LPS in INFILE.
The LPS can be explored using TorX as described in torx_explorer(5).
Options
- OPTION can be any of the following:
-
-y, --dummy -
replace free variables in the LPS with dummy values
-
-QNUM, --qlimit=NUM -
limit enumeration of quantifiers to NUM variables. (Default NUM=1000, NUM=0 for unlimited).
-
-rNAME, --rewriter=NAME -
use rewrite strategy NAME: 'jitty' jitty rewriting (default) 'jittyc' compiled jitty rewriting 'jittyp' jitty rewriting with prover
-
--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.
--log-level since Debian 7 (Wheezy);
--qlimit since Debian 8 (Jessie);
--timings since Debian 7 (Wheezy);
-Q since Debian 8 (Jessie).
--mcrl2-gui until Debian 6.0 (Squeeze);
--state-format until Debian 6.0 (Squeeze);
--unused-data until Debian 6.0 (Squeeze);
-f until Debian 6.0 (Squeeze);
-u until Debian 6.0 (Squeeze).