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.