Command Line Invocation
=======================

|GNATprove| is executed with the following command line:

.. literalinclude:: /../../testsuite/gnatprove/tests/PA20-065__gnatprove_help_output/test.out
   :language: none
