source: vis_dev/vis-2.3/share/help/write_smvCmd.txt @ 69

Last change on this file since 69 was 14, checked in by cecile, 13 years ago

vis2.3
File size: 668 bytes
Line 
1
2  write_smv - write an smv file
3     _________________________________________________________________
4
5   write_smv [-h] [<file>]
6
7   Writes out the hierarchy below the current node in smv format to the file
8   specified  as  an argument. If no argument is specified, the output is
9   available at the standard output.
10
11   Command options:
12
13   -h
14          Print the command usage.
15
16   <file>
17          name of smv file to be written.
18
19   For more information on smv, refer to the [1]smv manual.
20     _________________________________________________________________
21
22   Last updated on 20100410 00h02
23
24References
25
26   1. http://www-2.cs.cmu.edu/~modelcheck/smv.html
Note: See TracBrowser for help on using the repository browser.