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