Update OpenSMT's version

usi-verification-and-security · Mar 27, 2023 · 69640c3 · 69640c3
1 parent 2682f44
commit 69640c3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -2,14 +2,14 @@ include(FetchContent)
 
 # Find OpenSMT2
 SET(OPENSMT_HOME CACHE STRING "OpenSMT installation directory")
-find_package(OpenSMT 2.4.3 EXACT CONFIG PATHS ${OPENSMT_HOME} NO_DEFAULT_PATH)
+find_package(OpenSMT 2.5.0 EXACT CONFIG PATHS ${OPENSMT_HOME} NO_DEFAULT_PATH)
 
 if (OpenSMT_FOUND)
 else(OpenSMT_FOUND)
     FetchContent_Declare(
         OpenSMT
         GIT_REPOSITORY https://github.com/usi-verification-and-security/opensmt.git
-        GIT_TAG d07c43b11e009cc1bab40293d61a3b92b3331040 # v2.4.3
+        GIT_TAG 4af8fa21c0c5960f40c4111573c4ec604f00ec89 # v2.5.0
         GIT_SHALLOW true
         GIT_PROGRESS true
     )