Comment logging of inferred types

UnitTestBot · Dec 28, 2024 · a53ad56 · a53ad56
1 parent 4e2e161
commit a53ad56
Showing 1 changed file with 19 additions and 19 deletions.
diff --git a/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/TypeInferenceManager.kt b/usvm-dataflow-ts/src/main/kotlin/org/usvm/dataflow/ts/infer/TypeInferenceManager.kt
@@ -370,14 +370,14 @@ class TypeInferenceManager(
                 }
             }.toMap()
         }
-        logger.info {
-            buildString {
-                appendLine("Return types:")
-                for ((method, type) in inferredReturnTypes) {
-                    appendLine("Return type for ${method.signature.enclosingClass.file}::${method.signature.enclosingClass.name}::${method.name}: ${type.toPrettyString()}")
-                }
-            }
-        }
+        // logger.info {
+        //     buildString {
+        //         appendLine("Return types:")
+        //         for ((method, type) in inferredReturnTypes) {
+        //             appendLine("Return type for ${method.signature.enclosingClass.file}::${method.signature.enclosingClass.name}::${method.name}: ${type.toPrettyString()}")
+        //         }
+        //     }
+        // }
 
         val inferredLocalTypes: Map<EtsMethod, Map<AccessPathBase, EtsTypeFact>>? = if (doInferAllLocals) {
             forwardSummaries.asSequence().map { (method, summaries) ->
@@ -411,17 +411,17 @@ class TypeInferenceManager(
         }
 
         if (inferredLocalTypes != null) {
-            logger.info {
-                buildString {
-                    appendLine("Local types:")
-                    for ((method, localTypes) in inferredLocalTypes) {
-                        appendLine("Local types for ${method.signature.enclosingClass.name}::${method.name} in ${method.signature.enclosingClass.file}:")
-                        for ((base, fact) in localTypes.entries.sortedBy { (it.key as AccessPathBase.Local).name }) {
-                            appendLine("$base: ${fact.toPrettyString()}")
-                        }
-                    }
-                }
-            }
+            // logger.info {
+            //     buildString {
+            //         appendLine("Local types:")
+            //         for ((method, localTypes) in inferredLocalTypes) {
+            //             appendLine("Local types for ${method.signature.enclosingClass.name}::${method.name} in ${method.signature.enclosingClass.file}:")
+            //             for ((base, fact) in localTypes.entries.sortedBy { (it.key as AccessPathBase.Local).name }) {
+            //                 appendLine("$base: ${fact.toPrettyString()}")
+            //             }
+            //         }
+            //     }
+            // }
 
             for ((method, localFacts) in inferredLocalTypes) {
                 val facts = refinedTypes[method]