change prover parameters for dhcp_client.gpr

AdaCore · Aug 16, 2023 · 6a766f6 · 6a766f6
1 parent 0c98e96
commit 6a766f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/apps/dhcp_client/dhcp_client.gpr b/examples/apps/dhcp_client/dhcp_client.gpr
@@ -63,7 +63,7 @@ project DHCP_Client is
       for Proof_Switches ("Ada") use Defaults.Proof_Switches;
       for Proof_Switches ("rflx-dhcp_client-session.adb") use ("--timeout=300");
       for Proof_Switches ("rflx-rflx_arithmetic.adb") use ("--prover=Z3,altergo,cvc5,colibri");
-      for Proof_Switches ("dhcp_client.adb") use ("--timeout=180");
+      for Proof_Switches ("dhcp_client.adb") use ("--prover=cvc5,z3", "--timeout=120");
    end Prove;
 
 end DHCP_Client;