diff --git a/usvm-jvm/src/test/kotlin/org/usvm/samples/JacoDBContainer.kt b/usvm-jvm/src/test/kotlin/org/usvm/samples/JacoDBContainer.kt index 487fa5497..6edb1410a 100644 --- a/usvm-jvm/src/test/kotlin/org/usvm/samples/JacoDBContainer.kt +++ b/usvm-jvm/src/test/kotlin/org/usvm/samples/JacoDBContainer.kt @@ -6,6 +6,7 @@ import org.jacodb.api.jvm.JcDatabase import org.jacodb.approximation.Approximations import org.jacodb.impl.JcSettings import org.jacodb.impl.features.InMemoryHierarchy +import org.jacodb.impl.features.Usages import org.jacodb.impl.jacodb import org.usvm.util.classpathWithApproximations import java.io.File @@ -56,7 +57,7 @@ class JacoDBContainer( private val defaultBuilder: JcSettings.() -> Unit = { useProcessJavaRuntime() - installFeatures(InMemoryHierarchy) + installFeatures(InMemoryHierarchy, Usages) } } }