Replace log_assert() with meaningful log_error()

This commit is contained in:
Eddie Hung 2019-06-28 11:28:29 -07:00
parent e44042a641
commit 0d347e1708
1 changed files with 5 additions and 1 deletions

View File

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