Next: Rule exemption, Previous: Adding the Results of Compiler Checks to gnatcheck Output, Up: Verifying Properties Using gnatcheck
In order to perform checks on all units of a given project, you can use the GNAT driver along with the -P option:
gnat check -Pproj -rules -from=my_rules
If the project proj depends upon other projects, you can perform
checks on the project closure using the -U option:
gnat check -Pproj -U -rules -from=my_rules
Finally, if not all the units are relevant to a particular main program in the project closure, you can perform checks for the set of units needed to create a given main program (unit closure) using the -U option followed by the name of the main unit:
gnat check -Pproj -U main -rules -from=my_rules