From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Jan 2022 16:41:50 +0000 (+0100)
Subject: error when no signal found
X-Git-Tag: yosys-0.14~2^2~7
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8ba2000a50dcfedbcda57cfebabbfb39caabcfb9;p=yosys.git

error when no signal found
---

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