Further increase proof timeout for DHCP client

AdaCore · Aug 29, 2022 · 7ed2a90 · 7ed2a90
1 parent 442e514
commit 7ed2a90
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
@@ -61,7 +61,7 @@ project DHCP_Client is
 
    package Prove is
       for Proof_Switches ("Ada") use Defaults.Proof_Switches;
-      for Proof_Switches ("rflx-dhcp_client-session.adb") use ("--timeout=420");
+      for Proof_Switches ("rflx-dhcp_client-session.adb") use ("--timeout=450");
    end Prove;
 
 end DHCP_Client;