debian man page for mcrl2parse

MCRL2PARSE(1)							   User Commands						     MCRL2PARSE(1)

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 (C) 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>.

mcrl2parse mCRL2 toolset 201202.0 (Release)			    April 2012							     MCRL2PARSE(1)