hrc_dump_model - Writes the hrc structure from root node to a given SMV file
hrc_dump_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:37