Next: General gnatcheck Switches, Previous: Introduction [Contents][Index]
The gnatcheck
tool outputs on stderr all messages concerning
rule violations except if running in quiet mode. It also creates a text file
that contains the complete report of the last gnatcheck run. By default this file
is 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:
gnatcheck
run: date and time of the run,
the version of the tool that has generated this report, full parameters
of the gnatcheck
invocation, reference to the list of checked
sources and applied rules (coding standard);
Next: General gnatcheck Switches, Previous: Introduction [Contents][Index]