From 9804ebedbfd7db66849874bd11b167deb1bfed18 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 24 Dec 2017 17:29:54 +0100 Subject: [PATCH] Add "no driver for signal bit" error msg to btor back-end --- backends/btor/btor.cc | 2 ++ 1 file changed, 2 insertions(+) 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)); } -- 2.30.2