Increase maximum number of proof steps

Ref. #320
AdaCore · Jul 23, 2020 · 5c21d34 · 5c21d34
1 parent 3b8c076
commit 5c21d34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test.gpr b/test.gpr
@@ -58,7 +58,7 @@ project Test is
             for Proof_Switches ("rflx-ethernet-tests.adb") use ("--steps=3400");
             for Proof_Switches ("rflx-in_ethernet-tests.adb") use ("--steps=109000");
             for Proof_Switches ("rflx-in_ipv4-tests.adb") use ("--steps=142000");
-            for Proof_Switches ("rflx-ipv4-tests.adb") use ("--steps=77000");
+            for Proof_Switches ("rflx-ipv4-tests.adb") use ("--steps=78000");
       end case;
    end Prove;