Removed redundant log stmts

viperproject · Jun 12, 2024 · a708969 · a708969
1 parent 1d04561
commit a708969
Showing 1 changed file with 0 additions and 15 deletions.
diff --git a/smt-log-parser/src/analysis/graph/analysis/mod.rs b/smt-log-parser/src/analysis/graph/analysis/mod.rs
@@ -159,33 +159,18 @@ impl InstGraph {
     }
 
     pub fn analyse(&mut self) {
-        log!("In analyse: before first sort");
-        log!(format!(
-            "self.analysis.cost has {} nodes",
-            self.analysis.cost.len()
-        ));
         self.analysis.cost.sort_by(|&a, &b| {
             self.raw.graph[a.0]
                 .cost
                 .total_cmp(&self.raw.graph[b.0].cost)
                 .reverse()
                 .then_with(|| a.cmp(&b))
         });
-        log!("In analyse: before second sort");
-        log!(format!(
-            "self.analysis.children has {} nodes",
-            self.analysis.children.len()
-        ));
         self.analysis.children.sort_by(|&a, &b| {
             let ac = self.raw.neighbors_directed(a, Direction::Outgoing).len();
             let bc = self.raw.neighbors_directed(b, Direction::Outgoing).len();
             ac.cmp(&bc).reverse().then_with(|| a.cmp(&b))
         });
-        log!("In analyse: before third sort");
-        log!(format!(
-            "self.analysis.fwd_depth_min has {} nodes \n",
-            self.analysis.fwd_depth_min.len()
-        ));
         self.analysis.fwd_depth_min.sort_by(|&a, &b| {
             self.raw.graph[a.0]
                 .fwd_depth