|
Unix VPS
Support
FAQ
Network
Miscellaneous
|
| MURPHI2XML(1) | FreeBSD General Commands Manual | MURPHI2XML(1) |
NAME
murphi2xml - Print the abstract syntax tree of a parsed Murphi modelSYNOPSIS
murphi2xml [--output FILE | -o FILE] FILEDESCRIPTION
The utility murphi2xml 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)
Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.