The SPARK command settings are specified via the GNAT Project Properties interface. To set these preferences use the Edit GNAT Project Properties menu entry in the GNAT Project Explorer contextual menu, as usual. Then select the Switches panel and click on the tab corresponding to the SPARK tool in question. For example, the following figure shows the SPARK Examiner tab in the Switches panel.