---
name: "mcrl2parse"
section: "1"
platform: "linux"
package: "mcrl2"
version: "201202.0-2+b1"
release: "Debian 7 (Wheezy)"
platforms: ["linux"]
url: "https://new.carta.tech/mcrl2parse"
---

# mcrl2parse(1)

parses a string containing an mCRL2 data structure

## 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\>.