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 2010/05/19 15h:56