new z3 version in cmakelist

Leo Alt · javierSande · commit 6f19658c8116 · 2023-02-23T00:43:27.000-08:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -75,7 +75,7 @@ configure_file("${CMAKE_SOURCE_DIR}/cmake/templates/license.h.in" include/licens
 
 include(EthOptions)
 configure_project(TESTS)
-set(LATEST_Z3_VERSION "4.11.0")
+set(LATEST_Z3_VERSION "4.11.2")
 set(MINIMUM_Z3_VERSION "4.8.0")
 find_package(Z3)
 if (${Z3_FOUND})
