NAME

       rumur-ast-dump - Print the abstract syntax tree of a parsed Murphi model

SYNOPSIS

       rumur-ast-dump [--output FILE | -o FILE] FILE

DESCRIPTION

       The  utility  rumur-ast-dump  is  bundled  with the model checker Rumur and can be used to
       translate a Murphi model into its abstract syntax tree in an XML format. See rumur(1)  For
       more information about Rumur or Murphi.

OPTIONS

       --help or -?
              Display usage information.

       --output FILE or -o FILE
              Set  the  path  to  write the output XML to. If this argument is omitted, output is
              written to standard out.

       --version
              Display version information and exit.

SEE ALSO

       rumur(1)

                                                                                RUMUR-AST-DUMP(1)