From 83fc5cc28b60367a8cd16fb3d7eddb26db304513 Mon Sep 17 00:00:00 2001
From: Dan Ravensloft <dan.ravensloft@gmail.com>
Date: Wed, 10 Mar 2021 19:31:55 +0000
Subject: Replace assert in xaiger with more useful error message

---
 backends/aiger/xaiger.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'backends/aiger')

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;
 		}
 
-- 
cgit v1.2.3