Refresh why3 config

creusot-rs · Oct 25, 2023 · b9b7168 · b9b7168
1 parent b6e36d4
commit b9b7168
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 3 deletions.
diff --git a/.github/workflows/why3.yml b/.github/workflows/why3.yml
@@ -19,7 +19,7 @@ jobs:
     - name: Install Alt-Ergo
       run: |
         opam update
-        opam install alt-ergo.2.4.1
+        opam install alt-ergo.2.4.3
         eval $(opam env)
         which alt-ergo
         echo $(alt-ergo --version)

diff --git a/ci/why.conf b/ci/why.conf
@@ -7,7 +7,7 @@ timelimit = 5
 [partial_prover]
 name = "Alt-Ergo"
 path = "/usr/local/bin/alt-ergo"
-version = "2.4.1"
+version = "2.4.3"
 
 [partial_prover]
 name = "Z3"
@@ -69,6 +69,15 @@ target_name = "Z3"
 target_version = "4.12.1"
 version = "4.11.2"
 
+[uninstalled_prover z3-5]
+alternative = ""
+name = "Z3"
+policy = "upgrade"
+target_alternative = ""
+target_name = "Z3"
+target_version = "4.12.1"
+version = "4.12.2"
+
 [uninstalled_prover cvc5-0]
 alternative = ""
 name = "CVC5"
@@ -102,6 +111,14 @@ name = "Alt-Ergo"
 policy = "upgrade"
 target_alternative = ""
 target_name = "Alt-Ergo"
-target_version = "2.4.1"
+target_version = "2.4.3"
 version = "2.4.2"
 
+[uninstalled_prover policy4]
+alternative = ""
+name = "Alt-Ergo"
+policy = "upgrade"
+target_alternative = ""
+target_name = "Alt-Ergo"
+target_version = "2.4.3"
+version = "2.4.1"