hrc_write_model - Writes the hrc structure from root node to a given SMV file


hrc_write_model [-h] | [-o "filename"] [-d]

Writes the currently loaded SMV model stored in hrc structure in the specified file. If no file is specified the standard output is used.

Command Options:

-o "filename"
Attempts to write the SMV model in "filename".
-d
Renames modules appending "_hrc" the the original module name.

Last updated on 2012/11/18 14h:16