2.3 File and Model Commands

The most basic commands for loading and analysing systems using FDR 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 FDR.

2.3.1 The Load command
2.3.2 The Reload command
2.3.3 The Edit command
2.3.4 The All Asserts command
2.3.5 The Exit command