Bump jacodb and fix JcSettings import (#242)

* Bump jacodb and fix JcSettings import

* Disable flaky tests

---------

Co-authored-by: Valentyn Sobol <napster_1997@mail.ru>

Author: Lipen

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 = "8a588e71e7"
+    const val jacodb = "deeaae6dbf"
     const val juliet = "1.3.2"
     const val junit = "5.9.3"
     const val kotlin = "2.1.0"

usvm-jvm-dataflow/src/test/kotlin/org/usvm/dataflow/jvm/impl/BaseAnalysisTest.kt

@@ -24,6 +24,7 @@ import org.jacodb.api.jvm.JcMethod
 import org.jacodb.api.jvm.cfg.JcInst
 import org.jacodb.api.jvm.ext.findClass
 import org.jacodb.api.jvm.ext.methods
+import org.jacodb.impl.JcRamErsSettings
 import org.jacodb.impl.features.Builders
 import org.jacodb.impl.features.InMemoryHierarchy
 import org.jacodb.impl.features.Usages
@@ -57,6 +58,7 @@ abstract class BaseAnalysisTest(
 
     val db: JcDatabase = runBlocking {
         jacodb {
+            persistenceImpl(JcRamErsSettings)
             loadByteCode(allClasspath)
             useProcessJavaRuntime()
             keepLocalVariableNames()

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

@@ -3,8 +3,8 @@ package org.usvm.samples
 import kotlinx.coroutines.runBlocking
 import org.jacodb.api.jvm.JcClasspath
 import org.jacodb.api.jvm.JcDatabase
+import org.jacodb.api.jvm.JcSettings
 import org.jacodb.approximation.Approximations
-import org.jacodb.impl.JcSettings
 import org.jacodb.impl.features.InMemoryHierarchy
 import org.jacodb.impl.jacodb
 import org.usvm.machine.interpreter.transformers.JcMultiDimArrayAllocationTransformer

usvm-jvm/src/test/kotlin/org/usvm/samples/arrays/ArrayStoreExceptionExamplesTest.kt

@@ -29,6 +29,7 @@ class ArrayStoreExceptionExamplesTest : ApproximationsTestRunner() {
     }
 
     @Test
+    @Disabled("TODO: randomly fails on CI") // todo: investigate, why engine miss some instructions on CI
     fun testCorrectAssignmentSubtype() {
         checkDiscoveredPropertiesWithExceptions(
             ArrayStoreExceptionExamples::correctAssignmentSubtype,

usvm-jvm/src/test/kotlin/org/usvm/samples/casts/ArrayCastExampleTest.kt

@@ -137,6 +137,7 @@ internal class ArrayCastExampleTest : JavaMethodTestRunner() {
     }
 
     @Test
+    @Disabled("TODO: randomly fail due to type selection issues") // todo: use instantiatable types in test resolver
     fun testCastFromIterable() {
         checkDiscoveredProperties(
             ArrayCastExample::castFromIterable,