From a7089698d9b798b8641937374c064b894db90702 Mon Sep 17 00:00:00 2001 From: ojyrkinen Date: Wed, 12 Jun 2024 07:20:42 +0200 Subject: [PATCH] Removed redundant log stmts --- smt-log-parser/src/analysis/graph/analysis/mod.rs | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/smt-log-parser/src/analysis/graph/analysis/mod.rs b/smt-log-parser/src/analysis/graph/analysis/mod.rs index 31fcbaa6..ce6951ff 100644 --- a/smt-log-parser/src/analysis/graph/analysis/mod.rs +++ b/smt-log-parser/src/analysis/graph/analysis/mod.rs @@ -159,11 +159,6 @@ 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 @@ -171,21 +166,11 @@ impl InstGraph { .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