Bump Z3 version

ethereum · Oct 30, 2024 · 2faaec1 · 2faaec1
1 parent 22c506f
commit 2faaec1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -92,7 +92,7 @@ include(EthOptions)
 configure_project(TESTS)
 
 if(EMSCRIPTEN)
-    set(TESTED_Z3_VERSION "4.12.1")
+    set(TESTED_Z3_VERSION "4.13.3")
     set(MINIMUM_Z3_VERSION "4.8.16")
     find_package(Z3)
     if (${Z3_FOUND})