mcrl2parse1

Usage

Overview

Parses the text in the file INFILE. If INFILE is not present, standard input is used.

Options

OPTION can be any of the following:

-a, --aterm-format

compare the results in aterm format

-p, --check-parser

compare the results of the old and new parser

-P, --check-printer

compare the results of the old and new pretty printer

-e[EXPR], --expression[=EXPR]

parse EXPR instead of a file

-f[NAME], --filetype[=NAME]

input has the file type NAME:
'actfrm' for an action formula
'besexpr' for a BES expression
'besspec' for a BES specification
'dataexpr' for a data expression
'dataspec' for a data specification
'mcrl2spec' for an mCRL2 specification (default)
'multact' for a multi action
'pbesexpr' for a PBES expression
'pbesspec' for a PBES specification
'procexpr' for a process expression
'regfrm' for a regular formula
'sortexpr' for a sort expression
'statefrm' for a state formula

--partial-parses

allow partial parses

-t, --print-tree

print parse tree

--timings[=FILE]

append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

-w, --warn

generate warnings

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