2.3 File and Model Commands

The most basic commands for loading and analysing systems using FDR2 are grouped under the File menu. This currently contains commands for loading a new model, re-loading the current model, editing the current source file, and exiting FDR2.

• The Load command
• The Reload command
• The Edit command
• The All Asserts command
• The Exit command

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