aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-06-28 11:28:29 -0700
committerEddie Hung <eddie@fpgeh.com>2019-06-28 12:54:44 -0700
commitb3f162e94e61f739b84d8c6b31f203119805b2fb (patch)
tree22491f171b7e1e77db6971319f436143e64d99a7 /frontends
parent728839d6caca41ebbd9ae052668057f978a418e5 (diff)
downloadyosys-b3f162e94e61f739b84d8c6b31f203119805b2fb.tar.gz
yosys-b3f162e94e61f739b84d8c6b31f203119805b2fb.tar.bz2
yosys-b3f162e94e61f739b84d8c6b31f203119805b2fb.zip
Replace log_assert() with meaningful log_error()
Diffstat (limited to 'frontends')
-rw-r--r--frontends/aiger/aigerparse.cc6
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);
}