Command Line Invocation ======================= The following is an overview over the |GNATprove| commandline options. See also the section :ref:`Running GNATprove from the Command Line` for more detailed information for many of the switches. .. literalinclude:: /../../testsuite/gnatprove/tests/PA20-065__gnatprove_help_output/test.out :language: none