lps2jani

Manual page for lps2jani

Usage

lps2jani   [OPTION]... [INFILE [OUTFILE]]

Description

Reads the LPS in INFILE and writes a corresponding file in Jani format to OUTFILE. The LPS must only contain simple data types (Numbers, Booleans) that the Jani format supports. See http://jani-spec.org for more information about the Jani format. If OUTFILE is not present, stdout is used. If INFILE is not present, stdin is used.

Command line options

-QNUM , --qlimit=NUM

limit enumeration of quantifiers to NUM iterations. (Default NUM=1000, NUM=0 for unlimited).

-rNAME , --rewriter=NAME

use rewrite strategy NAME:

jitty

jitty rewriting

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

Author

Jan Friso Groote