From a483937d85d5e46c021cbc522513bd607e8c4374 Mon Sep 17 00:00:00 2001 From: Nils Loose Date: Wed, 20 May 2026 18:21:25 +0100 Subject: [PATCH] Bumped JavaSMT version to include latest codePoint API --- settings.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/settings.gradle b/settings.gradle index 2861754..defcd23 100644 --- a/settings.gradle +++ b/settings.gradle @@ -67,7 +67,7 @@ dependencyResolutionManagement { library('asm-util', 'org.ow2.asm','asm-util').versionRef('asm') library('asm-tree', 'org.ow2.asm','asm-tree').versionRef('asm') library('jackson-databind', 'com.fasterxml.jackson.core:jackson-databind:2.14.1') - library('java-smt', 'org.sosy-lab:java-smt:5.0.1') + library('java-smt', 'org.sosy-lab:java-smt:6.0.0') library('spock-core', 'org.spockframework:spock-core:2.2-M1-groovy-4.0') library('mockito-core', 'org.mockito:mockito-core:3.12.4') library('logback-classic', 'ch.qos.logback:logback-classic:1.5.3')