Removed costly debug-log

viperproject · Nov 28, 2023 · a73a1c3 · a73a1c3
1 parent 95558e0
commit a73a1c3
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/smt-log-parser/src/parsers/z3/inst_graph.rs b/smt-log-parser/src/parsers/z3/inst_graph.rs
@@ -117,15 +117,15 @@ impl InstGraph {
                 self.indirect_edges_of_hidden_node
                     .insert(*node, vec![indirect_edge]);
             }
-            log!(
-                "Adding edge ",
-                pred.index(),
-                succ.index(),
-                " with index ",
-                indirect_edge.index(),
-                "to the indirect edges for node ",
-                node.index()
-            );
+            // log!(
+            //     "Adding edge ",
+            //     pred.index(),
+            //     succ.index(),
+            //     " with index ",
+            //     indirect_edge.index(),
+            //     "to the indirect edges for node ",
+            //     node.index()
+            // );
         }
     }