From ba648ce69405fefe7378a3f03a68637f0d570de7 Mon Sep 17 00:00:00 2001 From: Konstantin Chukharev Date: Fri, 27 Dec 2024 15:07:33 +0300 Subject: [PATCH] Remove redundant sdk check --- .../main/kotlin/org/usvm/dataflow/ts/infer/cli/InferTypes.kt | 4 +--- 1 file changed, 1 insertion(+), 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 index c991f3ac9..0555a3992 100644 --- 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)