From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 24 Dec 2017 16:29:54 +0000 (+0100)
Subject: Add "no driver for signal bit" error msg to btor back-end
X-Git-Tag: yosys-0.8~241
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9804ebedbfd7db66849874bd11b167deb1bfed18;p=yosys.git

Add "no driver for signal bit" error msg to btor back-end
---

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 3c5381ce6..61a2f8ba3 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -775,6 +775,8 @@ struct BtorWorker
 					}
 					else
 					{
+						if (bit_cell.count(bit) == 0)
+							log_error("No driver for signal bit %s.\n", log_signal(bit));
 						export_cell(bit_cell.at(bit));
 						log_assert(bit_nid.count(bit));
 					}