diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-28 11:28:29 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-28 11:28:29 -0700 |
| commit | 0d347e17089eb4b23ef444a7c9adf8420aa2c93e (patch) | |
| tree | d4e96a85c00a94f3bd567703c8a44c7e21c8b75b | |
| parent | e44042a6410fa32d464ad79013a62ab996242500 (diff) | |
| download | yosys-0d347e17089eb4b23ef444a7c9adf8420aa2c93e.tar.gz yosys-0d347e17089eb4b23ef444a7c9adf8420aa2c93e.tar.bz2 yosys-0d347e17089eb4b23ef444a7c9adf8420aa2c93e.zip | |
Replace log_assert() with meaningful log_error()
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 7008d0542..1ac0f7ba4 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -376,7 +376,11 @@ void AigerReader::parse_xaiger() continue; if (m->name.begins_with("$paramod")) continue; - auto r = box_lookup.insert(std::make_pair(it->second.as_int(), m->name)); + auto id = it->second.as_int(); + auto r = box_lookup.insert(std::make_pair(id, m->name)); + if (!r.second) + log_error("Module '%s' has the same abc_box_id = %d value as '%s'.\n", + log_id(m), id, log_id(r.first->second)); log_assert(r.second); } |