From: Dan Ravensloft <dan.ravensloft@gmail.com>
Date: Wed, 10 Mar 2021 19:31:55 +0000 (+0000)
Subject: Replace assert in xaiger with more useful error message
X-Git-Tag: yosys-0.10~260
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=83fc5cc28b60367a8cd16fb3d7eddb26db304513;p=yosys.git

Replace assert in xaiger with more useful error message
---

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