Next: Example of gnatcheck Usage, Previous: Rule exemption, Up: Verifying Properties Using gnatcheck
The following subsections document the rules implemented in gnatcheck. The subsection title is the same as the rule identifier, which may be used as a parameter of the +R or -R options.