riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

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

This commit is contained in:
Clifford Wolf 2017-12-24 17:29:54 +01:00
parent 34005348b6
commit 9804ebedbf
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/btor/btor.cc
View File

@ -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));
}