NAME¶

mcrl2parse - parses a string containing an mCRL2 data structure

SYNOPSIS¶

mcrl2parse [ OPTION]... [INFILE]

DESCRIPTION¶

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

 

AUTHOR¶

Written by Wieger Wesselink.

REPORTING BUGS¶

Report bugs at <http://www.mcrl2.org/issuetracker>.

COPYRIGHT¶

Copyright © 2012 Technische Universiteit Eindhoven. This is free software. You may redistribute copies of it under the terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.

SEE ALSO¶

See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/mcrl2parse>.