Next: , Previous: Rule exemption, Up: Verifying Properties Using gnatcheck


23.7 Predefined Rules

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.