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.