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. In addition, statement merging may be turned off (by using spin option -o3) or not. By default, statement merging is turned off.

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.