I.1  INTRODUCTION

Fault specification files contain fault simulation data that allows user to simulate faults by loading the file in following OneLiner commands:

- Fault | Specify Simultaneous Faults | Load

- Fault | Batch Command and Fault Spec. File | Execute

Fault specification files can be generated using following OneLiner command:

- Fault | Specify Simultaneous Faults | Save

- Fault | Batch Command and Fault Spec. File | New

- Fault | Solution Report

This appendix describes the fault specification file format.