State Tables preference page

On the State Tables preference page a user can select, which version of the verifier state tables should be displayed: the original one (obtained by using pan option -d -d -d -d), two intermediate ones (option -d -d -d or -d -d), or the final, optimal one (using option -d). The last version is default. Regardless of whether the statement merging is enabled or disabled on the Verification preference page, statement merging for state table creation may be turned off (default by using spin option -o3) or on.

A click on the Restore Defaults button restores the default State Tables options.

A click on the Apply button applies the State Tables options.

A click on the OK button applies the State Tables options and closes the page.

A click on the Cancel button cancels the selected State Tables options, reverts their values to the previous ones and closes the page.