Next: , Previous: Adding the Results of Compiler Checks to gnatcheck Output, Up: Verifying Properties Using gnatcheck

23.5 Project-Wide Checks

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