From 66325da48a0aa1ff5d3a2883bf2d7743c9cc63d3 Mon Sep 17 00:00:00 2001
From: Javran Cheng <Javran.C@gmail.com>
Date: Fri, 5 Jan 2024 15:59:10 -0800
Subject: [PATCH] Update z3 version in CI.

Apparently this still works with 4.12.4 so we can move forward using a
newer version.
---
 ci/install-z3.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/install-z3.sh b/ci/install-z3.sh
index af2903f8..6671c843 100755
--- a/ci/install-z3.sh
+++ b/ci/install-z3.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
-export Z3_RELEASE=z3-4.8.17
-export Z3_LONG_VERSION=z3-4.8.17-x64-glibc-2.31
+export Z3_RELEASE=z3-4.12.4
+export Z3_LONG_VERSION=z3-4.12.4-x64-glibc-2.35
 
 zip_target="$HOME/${Z3_LONG_VERSION}.zip"