Remove redundant sdk check

UnitTestBot · Dec 27, 2024 · ba648ce · ba648ce
1 parent c05ccb1
commit ba648ce
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/cli/InferTypes.kt b/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/cli/InferTypes.kt
@@ -92,9 +92,7 @@ class InferTypes : CliktCommand() {
         val graph = createApplicationGraph(project)
 
         val (dummyMains, allMethods) = EntryPointsProcessor.extractEntryPoints(project)
-        val publicMethods = allMethods.filter { m ->
-            m.isPublic && m.signature.enclosingClass.file.projectName !in sdkNames
-        }
+        val publicMethods = allMethods.filter { m -> m.isPublic }
 
         val manager = TypeInferenceManager(EtsTraits(), graph)