go - Initializes the system for the verification.


go [-h]

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

Command options:

-h
Prints the command usage.


Last updated on 990908 16h51