ACATS 4.1 User's Guide
5.2.4 Modification of Package REPORT
All executable tests use the Report support package.
It contains routines to automate test result reporting as well as routines
designed to prevent optimizers from removing key sections of test code.
The package Report is in the file report.a; this includes both
the specification and body.
The specification of package Report may be modified
to change the setting of Generate_Event_Trace_File. (This setting controls
whether Report writes an event trace file for the grading tool, see
6.2
for more information.) No other modifications of the specification of
package Report are allowed.
Under some conditions, the body of package Report
may need to be modified. For example, the target system for a cross-compiler
may require a simpler I/O package than the standard package Text_IO.
In such a case, it may be necessary to replace the context clause and
the I/O procedure names in the body of Report.
Modifications to the body of Report must receive
advance approval from the ACAL (and, if necessary, the ACAA) before use
in a conformity assessment. No approval is needed to change the setting
of Generate_Event_Trace_File, but the setting used should be reported
to the ACAL performing a conformity assessment.