From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 28 Jun 2019 18:28:29 +0000 (-0700)
Subject: Replace log_assert() with meaningful log_error()
X-Git-Tag: working-ls180~1233
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3f162e94e61f739b84d8c6b31f203119805b2fb;p=yosys.git

Replace log_assert() with meaningful log_error()
---

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);
 	}