23.1 Format of the Report File

The gnatcheck tool outputs on stdout all messages concerning rule violations. It also creates a text file that contains the complete report of the last gnatcheck run. By default this file is named named gnatcheck.out and it is located in the current directory; the -o option can be used to change the name and/or location of the report file. This report contains:

• date and time of gnatcheck run, the version of the tool that has generated this report and the full parameters of the gnatcheck invocation;
• list of enabled rules;
• total number of detected violations;
• list of source files where rule violations have been detected;
• list of source files where no violations have been detected.