From b9b716811a169458ec2bae0936883ef5002ba405 Mon Sep 17 00:00:00 2001
From: Xavier Denis <xavdenis@amazon.com>
Date: Wed, 25 Oct 2023 21:20:04 +0200
Subject: [PATCH] Refresh why3 config

---
 .github/workflows/why3.yml |  2 +-
 ci/why.conf                | 21 +++++++++++++++++++--
 2 files changed, 20 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/why3.yml b/.github/workflows/why3.yml
index 4386509c9c..1d65c1dc00 100644
--- 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
index 91171cad2b..2a04f85e4c 100644
--- 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"