source: vis_dev/vis-2.3/share/help/init_verifyCmd.txt @ 64

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

vis2.3

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