Debug which method we're running on

viperproject · Sep 27, 2023 · 77326d4 · 77326d4
1 parent 16a944e
commit 77326d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mir-state-analysis/src/lib.rs b/mir-state-analysis/src/lib.rs
@@ -46,7 +46,7 @@ pub fn run_coupling_graph<'mir, 'tcx>(
     // if tcx.item_name(mir.source.def_id()).as_str() != "debug" {
     //     return;
     // }
-    // println!("Running for {:?} {:?}", mir.source.def_id(), mir.span);
+    println!("Running for {:?} {:?}", mir.source.def_id(), mir.span);
     let cgx = coupling_graph::CgContext::new(tcx, mir, facts, facts2);
     let fpcs = coupling_graph::engine::CoupligGraph::new(tcx, mir, facts, facts2, &cgx);
     let analysis = fpcs