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


2.8 Tab Bar Commands

The following buttons on the tab bar select the relevant page in the tab pane. From this page the user can invoke commands which operate on a selected process, as described under the corresponding command (see 2.5 The Process List).

Deadlock
Checks the selected process for deadlock.

Livelock
Checks the selected process for divergence (livelock).

Determinism
Checks the selected process for determinism.

In addition, the Evaluate page allows the user to enter an expression for evaluation by the CSP compiler. This can be useful for checking the correct operation of functions used within a script.


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