diff options
Diffstat (limited to 'backends/btor/btor.cc')
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 2 insertions, 0 deletions
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)); } |