diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-09 10:02:19 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-09 10:02:19 -0800 |
| commit | d979648b7af4eb5fab042ac55ff2fb40e0c17a89 (patch) | |
| tree | eba045916d3cd40d29b173ad0f731179e1bd2acf /frontends/aiger/aigerparse.cc | |
| parent | 943ea4bf9ea34960bfce517450a8a466d1c54ed3 (diff) | |
| download | yosys-d979648b7af4eb5fab042ac55ff2fb40e0c17a89.tar.gz yosys-d979648b7af4eb5fab042ac55ff2fb40e0c17a89.tar.bz2 yosys-d979648b7af4eb5fab042ac55ff2fb40e0c17a89.zip | |
read_aiger: more accurate debug message
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index ae16a9e9b..b4304a581 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -797,6 +797,7 @@ void AigerReader::post_process() wire->port_input = false; module->connect(wire, existing); } + log_debug(" -> %s\n", log_id(escaped_s)); } else if (index > 0) { std::string indexed_name = stringf("%s[%d]", escaped_s.c_str(), index); @@ -810,8 +811,8 @@ void AigerReader::post_process() module->connect(wire, existing); wire->port_input = false; } + log_debug(" -> %s\n", log_id(indexed_name)); } - log_debug(" -> %s\n", log_id(wire)); } else if (type == "output") { log_assert(static_cast<unsigned>(variable + co_count) < outputs.size()); @@ -833,6 +834,7 @@ void AigerReader::post_process() module->connect(wire, existing); wire = existing; } + log_debug(" -> %s\n", log_id(escaped_s)); } else if (index > 0) { std::string indexed_name = stringf("%s[%d]", escaped_s.c_str(), index); @@ -846,8 +848,8 @@ void AigerReader::post_process() module->connect(wire, existing); wire->port_output = false; } + log_debug(" -> %s\n", log_id(indexed_name)); } - log_debug(" -> %s\n", log_id(wire)); int init; mf >> init; if (init < 2) |