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
