From 1a9589dfa6171af5321be7424010932da648eff7 Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 13 Apr 2017 09:37:54 +0200 Subject: [PATCH] Incremented minimal z3 version required for the z3LpSolver to 4.5.0 as the optimizer in 4.4.1 yielded wrong results in the tests --- resources/3rdparty/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 80f9e787a..e917be668 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -141,7 +141,7 @@ if(Z3_FOUND) OUTPUT_STRIP_TRAILING_WHITESPACE) if (z3_version_output MATCHES "([0-9]*\\.[0-9]*\\.[0-9]*)") set(Z3_VERSION "${CMAKE_MATCH_1}") - if(NOT "${Z3_VERSION}" VERSION_LESS "4.4.1") + if(NOT "${Z3_VERSION}" VERSION_LESS "4.5.0") set(STORM_HAVE_Z3_OPTIMIZE ON) endif() endif()