From bea6a3abc122de19a4a9f4c30c80497923ee2d0b Mon Sep 17 00:00:00 2001
From: Konstantin Chukharev <lipen00@gmail.com>
Date: Wed, 17 Jul 2024 23:10:44 +0300
Subject: [PATCH] Install `Usages` feature in `JacoDBContainer`

---
 usvm-jvm/src/test/kotlin/org/usvm/samples/JacoDBContainer.kt | 3 ++-
 1 file changed, 2 insertions(+), 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
index 487fa5497d..6edb1410ae 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)
         }
     }
 }