Next: , Up: Verifying Properties Using gnatcheck

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: