diff options
| author | Dan Ravensloft <dan.ravensloft@gmail.com> | 2021-03-10 19:31:55 +0000 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-03-10 22:35:06 +0100 |
| commit | 83fc5cc28b60367a8cd16fb3d7eddb26db304513 (patch) | |
| tree | ad5916e564bc4416d3a1ad6b316e977bfcf76751 /backends/aiger | |
| parent | 26e01a67db4135196b1d25ed89e9e6ceb536f4e3 (diff) | |
| download | yosys-83fc5cc28b60367a8cd16fb3d7eddb26db304513.tar.gz yosys-83fc5cc28b60367a8cd16fb3d7eddb26db304513.tar.bz2 yosys-83fc5cc28b60367a8cd16fb3d7eddb26db304513.zip | |
Replace assert in xaiger with more useful error message
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 27499b64a..7ed8ff1cf 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -432,7 +432,8 @@ struct XAigerWriter // that has been padded to its full width if (bit == State::Sx) 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; } |