Scroll to navigation

RUMUR-AST-DUMP(1) General Commands Manual RUMUR-AST-DUMP(1)

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)