Use default proof switches for example apps

Ref. #659
AdaCore · Jun 8, 2021 · 917eda7 · 917eda7
1 parent f2fda18
commit 917eda7
Showing 1 changed file with 1 addition and 12 deletions.
diff --git a/examples/apps/ping/ping.gpr b/examples/apps/ping/ping.gpr
@@ -30,18 +30,7 @@ project Ping is
 
    package Prove is
       for Proof_Dir use "proof";
-
-      for Proof_Switches ("Ada") use (
-         "-j0",
-         "--prover=cvc4,z3,altergo",
-         "--steps=0",
-         "--timeout=90",
-         "--memlimit=1000",
-         "--checks-as-errors",
-         "--warnings=error",
-         "--proof-warnings",
-         "--no-axiom-guard"
-      );
+      for Proof_Switches ("Ada") use Defaults.Proof_Switches;
    end Prove;
 
 end Ping;