[chore] updated jacodb version (#313)

Author: MchKosticyn

buildSrc/src/main/kotlin/Dependencies.kt

@@ -6,7 +6,7 @@ object Versions {
     const val clikt = "5.0.0"
     const val detekt = "1.23.7"
     const val ini4j = "0.5.4"
-    const val jacodb = "da338ffc83"
+    const val jacodb = "d7dd9d343b"
     const val juliet = "1.3.2"
     const val junit = "5.9.3"
     const val kotlin = "2.1.0"

usvm-jvm/src/main/kotlin/org/usvm/util/JcApproximationUtils.kt

@@ -44,7 +44,9 @@ suspend fun JcDatabase.classpathWithApproximations(
     val approximationsPath = setOf(File(usvmApiJarPath), File(usvmApproximationsJarPath))
 
     val cpWithApproximations = dirOrJars + approximationsPath
-    val featuresWithApproximations = features + listOf(Approximations)
+    val approximations = this.features.filterIsInstance<Approximations>().singleOrNull()
+        ?: error("approximations feature not found in database features")
+    val featuresWithApproximations = features + listOf(approximations)
     val cp = classpath(cpWithApproximations, featuresWithApproximations.distinct())
 
     val approximationsLocations = cp.locations.filter { it.jarOrFolder in approximationsPath }

usvm-jvm/src/test/kotlin/org/usvm/samples/JacoDBContainer.kt

@@ -28,7 +28,7 @@ class JacoDBContainer(
                 builder()
 
                 if (samplesWithApproximationsKey == key) {
-                    installFeatures(Approximations)
+                    installFeatures(Approximations(emptyList()))
                 }
 
                 loadByteCode(classpath)