From 6a766f610e5b037898f120d107556c89d476a6c3 Mon Sep 17 00:00:00 2001 From: Johannes Kanig Date: Thu, 10 Aug 2023 10:28:58 +0900 Subject: [PATCH] change prover parameters for dhcp_client.gpr --- examples/apps/dhcp_client/dhcp_client.gpr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/apps/dhcp_client/dhcp_client.gpr b/examples/apps/dhcp_client/dhcp_client.gpr index 21894e952..9ca765ad8 100644 --- 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;