Fix efficiency issue

viperproject · Nov 27, 2023 · 3cbd483 · 3cbd483
1 parent a56571b
commit 3cbd483
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/smt-log-parser/src/parsers/z3/inst_graph.rs b/smt-log-parser/src/parsers/z3/inst_graph.rs
@@ -337,15 +337,9 @@ impl InstGraph {
         }
     }
 
-    fn fresh_line_nr(&self, line_nr: usize) -> bool {
-        self.inst_graph
-            .node_weights()
-            .all(|node| node.line_nr != line_nr)
-    }
-
     fn add_node(&mut self, node_data: NodeData) {
         let line_nr = node_data.line_nr;
-        if self.fresh_line_nr(line_nr) {
+        if !self.node_of_line_nr.contains_key(&line_nr) {
             let node = self.inst_graph.add_node(node_data);
             self.orig_graph.add_node(node_data);
             self.node_of_line_nr.insert(line_nr, node);