mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-11 00:23:26 +00:00
Code Activity

Replace assert in xaiger with more useful error message

Browse source
This commit is contained in:
Dan Ravensloft 2021-03-10 19:31:55 +00:00 • committed by Marcelina Kościelnicka
parent 26e01a67db
commit 83fc5cc28b
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
backends/aiger/xaiger.cc
View file

@ -432,7 +432,8 @@ struct XAigerWriter
// that has been padded to its full width // that has been padded to its full width
if (bit == State::Sx) if (bit == State::Sx)
continue; continue;
log_assert(!aig_map.count(bit)); if (aig_map.count(bit))
log_error("Visited AIG node more than once; this could be a combinatorial loop that has not been broken - see Yosys bug 2530\n");
aig_map[bit] = 2*aig_m; aig_map[bit] = 2*aig_m;
} }