mcrl2parse(1) · carta

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.