Use project classes only

UnitTestBot · Dec 27, 2024 · 8b4f600 · 8b4f600
1 parent ba648ce
commit 8b4f600
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/EntryPointsProcessor.kt b/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/EntryPointsProcessor.kt
@@ -14,7 +14,7 @@ object EntryPointsProcessor {
             .toList()
         return ArtificialMainWithAllMethods(
             mainMethods = artificialMainMethods,
-            allMethods = scene.projectAndSdkClasses.flatMap { it.methods },
+            allMethods = scene.projectClasses.flatMap { it.methods },
         )
     }
 }