User manual/grape

From MCRL2

Graphical editing environment for mCRL2 process specifications. (EXPERIMENTAL)

Contents 1 Synopsis 2 Short description 3 Options 4 Author 5 Bug reporting

Synopsis

grape [OPTION]... [INFILE]

Short description

The grape tool allows users to create mCRL2 process specifications by means of a graphical editing environment. If INFILE is present, the corresponding file 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 standard options:

-q, --quiet

do not display warning messages

-v, --verbose

display short intermediate messages

-d, --debug

display detailed intermediate messages

-h, --help

display help information

--version

display version information

Author

Written by Remco Blewanus, Thorstin Crijns, Diana Koenraadt, Bas Luksenburg, Jonathan Nelisse, Hans Poppelaars and Bram Schoenmakers.

Bug reporting

Report bugs at our issue tracking system.