Improve debugging message for comb loops

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 7cfe8272c45c3bdb632b94cdd4336aa3d99d9ad0..92df899c24aaaf8bd05aaf6a546b73db10b02d67 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -293,10 +293,12 @@ struct XAigerWriter
 #if 0
                        unsigned i = 0;
                        for (auto &it : toposort.loops) {
-                               log("  loop %d", i++);
-                               for (auto cell : it)
-                                       log(" %s", log_id(cell));
-                               log("\n");
+                               log("  loop %d\n", i++);
+                               for (auto cell_name : it) {
+                                       auto cell = module->cell(cell_name);
+                                       log_assert(cell);
+                                       log("\t%s (%s @ %s)\n", log_id(cell), log_id(cell->type), cell->get_src_attribute().c_str());
+                               }
                        }
 #endif
                        log_assert(no_loops);