Install Usages feature in JacoDBContainer

UnitTestBot · Jul 17, 2024 · bea6a3a · bea6a3a
1 parent 6ed7537
commit bea6a3a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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)
         }
     }
 }