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

# grapemcrl2(1)

graphical editing environment for mCRL2 process specifications

## NAME

grapemcrl2 - graphical editing environment for mCRL2 process specifications

## SYNOPSIS

**grapemcrl2** \[*OPTION*\]... \[*INFILE*\]

## DESCRIPTION

Graphical editing environment for mCRL2 process specifications. If INFILE is  supplied, it is loaded as a GraPE specification.Detailed help is provided in  the online manual, accessible from within the tool.

## OPTIONS

- *OPTION* can be any of the following:

  - **--timings**\[=*FILE*\]

  append timing measurements to FILE. Measurements are written to standard error  if no FILE is provided

- 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 Remco Blewanus,Thorstin Crijns,Diana Koenraadt,Bas Luksenburg,Jonathan Nelisse,Hans Poppelaars,Bram Schoenmakers.

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