diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 20:02:38 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 20:02:38 -0700 |
| commit | 080a5ca536bcd7140ea3dc12483e49a8f076cd92 (patch) | |
| tree | f407386e0dad8a3039c636142d2c89bf48b9f43b /backends/aiger/xaiger.cc | |
| parent | 4de25a1949c14f4c343eae957b9402b5ddb574c9 (diff) | |
| download | yosys-080a5ca536bcd7140ea3dc12483e49a8f076cd92.tar.gz yosys-080a5ca536bcd7140ea3dc12483e49a8f076cd92.tar.bz2 yosys-080a5ca536bcd7140ea3dc12483e49a8f076cd92.zip | |
Improve debugging message for comb loops
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 7cfe8272c..92df899c2 100644 --- 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); |