From fddb027cabedff92441b912a6cc472650aa9f74d Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 21 Jun 2019 15:45:51 -0700
Subject: Replace assert with error message
---
backends/aiger/xaiger.cc | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
(limited to 'backends/aiger/xaiger.cc')
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 2070cae8f..23132f108 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -244,7 +244,8 @@ struct XAigerWriter
if (c.second.is_fully_const()) continue;
auto is_input = cell->input(c.first);
auto is_output = cell->output(c.first);
- log_assert(is_input || is_output);
+ if (!is_input && !is_output)
+ log_error("Connection '%s' on cell '%s' (type '%s') not recognised!\n", log_id(c.first), log_id(cell), log_id(cell->type));
if (is_input) {
for (auto b : c.second.bits()) {
--
cgit v1.2.3