go - Initializes the system for the verification.


go [-h][-f]

This command initializes the system for verification. It is equivalent to the command sequence read_model, flatten_hierarchy, encode_variables, build_model, build_flat_model, build_boolean_model. If some commands have already been executed, then only the remaining ones will be invoked.

Command options:

-f
Forces the model contruction.

-h
Prints the command usage.


Last updated on 2009/03/04 12h:51