diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 12:33:47 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 12:33:47 -0700 |
| commit | d018cd9fe3f65187b7f8a878994dfbc37308d653 (patch) | |
| tree | f94e7300a5c41e13a097b22c887100b445e1db4d /frontends/aiger/aigerparse.cc | |
| parent | 295bd8d0bf81dcb4ad07b1798e021dddcb5dfdc4 (diff) | |
| download | yosys-d018cd9fe3f65187b7f8a878994dfbc37308d653.tar.gz yosys-d018cd9fe3f65187b7f8a878994dfbc37308d653.tar.bz2 yosys-d018cd9fe3f65187b7f8a878994dfbc37308d653.zip | |
Assert that box_unique_id is indeed unique
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index c951e1fbb..95335a029 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -198,11 +198,12 @@ void AigerReader::parse_xaiger() dict<int,IdString> box_lookup; for (auto m : design->modules()) { - if (m->name[0] == '$') continue; auto it = m->attributes.find("\\abc_box_id"); if (it == m->attributes.end()) continue; - box_lookup[it->second.as_int()] = m->name; + if (m->name[0] == '$') continue; + auto r = box_lookup.insert(std::make_pair(it->second.as_int(), m->name)); + log_assert(r.second); } // Parse footer (symbol table, comments, etc.) |