Bump ksmt version to 0.5.13

UnitTestBot · Nov 3, 2023 · 79cf54b · 79cf54b
1 parent fc570ea
commit 79cf54b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gradle.properties b/gradle.properties
@@ -41,8 +41,8 @@ junit4PlatformVersion=1.9.0
 # NOTE: Mockito versions 5+ are not compatible with Java 8: https://www.davidvlijmincx.com/posts/upgrade-to-mockito-5
 mockitoVersion=4.11.0
 mockitoInlineVersion=4.11.0
-# TODO usvm-sbft-merge: UtBot engine uses ksmt 0.4.3, while USVM uses ksmt 0.5.7
-ksmtVersion=0.5.7
+# TODO usvm-sbft-merge: UtBot engine uses ksmt 0.4.3, while USVM uses ksmt 0.5.13
+ksmtVersion=0.5.13
 sootVersion=4.4.0-FORK-2
 kotlinVersion=1.8.0
 log4j2Version=2.13.3