mcrl2parse(1) parses a string containing an mCRL2 data structure


mcrl2parse [OPTION]... [INFILE]


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


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

allow partial parses
-t, --print-tree
print parse tree
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
display intermediate messages up to and including level
-h, --help
display help information
display version information


Written by Wieger Wesselink.


Report bugs at <>.


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