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.