diff options
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sim.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 050fc8d5a..c6fc1518f 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -994,6 +994,8 @@ struct SimWorker : SimShared for (auto wire : topmod->wires()) { if (wire->port_input) { fstHandle id = fst->getHandle(scope + "." + RTLIL::unescape_id(wire->name)); + if (id==0) + log_error("Unable to find required '%s' signal in file\n",(scope + "." + RTLIL::unescape_id(wire->name)).c_str()); inputs[wire] = id; } } |