source: vis_dev/vis-2.1/share/help/init_verifyCmd.txt @ 12

Last change on this file since 12 was 11, checked in by cecile, 13 years ago

Add vis

File size: 1.2 KB
Line 
1
2  init_verify - create and initialize a flattened network for verification
3     _________________________________________________________________
4
5   init_verify [-b] [-h]
6
7   This   command   initializes  the  system  for  verification,  and  is
8   equivalent  to  the  command sequence flatten_hierarchy; static_order;
9   build_partition_mdds.  If  a  command returns an error condition, then
10   the  sequence is aborted. After init_verify has successfully executed,
11   various  commands  can  be  invoked,  like model_check, compute_reach,
12   simulate, print_network_stats, and seq_verify.
13
14   Please   note  that  init_verify  does  not  enable  dynamic  variable
15   reordering. Sometimes, though, this is needed to complete building the
16   partitions,  and  one  has  to  initialize  the  verification by hand.
17   Similarly, it may be wise to turn on dynamic variable reordering after
18   init, so that further commands complete more easily. See the help page
19   for dynamic_var_ordering.
20
21   Command options:
22
23   -b
24          This option has no effect any longer.
25
26   -h
27          Print the command usage.
28     _________________________________________________________________
29
30   Last updated on 20050519 10h16
Note: See TracBrowser for help on using the repository browser.