2.7 Options

The Options menu allows access to a number of internal aspects of FDR's operation.

Supercompilation

Clicking this option toggles FDR2's use of an internal mask-based representation for finite-state machine compositions. It should be left enabled for all standard operations.

Messages

This sub-menu allows control of the amount of feedback added to the status log by FDR2's internal state-machine manipulation and testing functions. The default, Auto, does not report operations covering fewer than 200 states, indicates progress every 100 states from 200 to 2000, and every 1000 subsequent states. Full verbosity gives details of all such operations; None inhibits all such status information. To view this log information, use the Show Status option.

Examples per check

This allows the user to control how many counterexamples may be generated by a single check. By default at most one may be generated. (This option was previously controlled from the status window.)

Show status

This causes FDR2 to open a scrollable text window which will be updated as FDR carries out the compilation and checking processes. This status window also receives detailed error messages describing syntax or semantic errors detected by the CSP compiler.

A Restart option is displayed on the options menu of some releases of FDR2. At the present time this is intended for internal use only.

Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.