From 6620d098d45eefa9380ab22b048ec9e90c11787a Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Tue, 3 Feb 2026 12:05:14 -0800 Subject: [PATCH] lower verbosity --- passes/sat/sim.cc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index c029cb2df..34c94695f 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -258,9 +258,13 @@ struct SimInstance if ((shared->fst) && !(shared->hide_internal && wire->name[0] == '$')) { fstHandle id = shared->fst->getHandle(scope + "." + RTLIL::unescape_id(wire->name)); if (id==0 && wire->name.isPublic()) { - log_warning("Unable to find wire %s in input file.\n", (scope + "." + RTLIL::unescape_id(wire->name))); + if (shared->debug) { + log_warning("Unable to find wire %s in input file.\n", (scope + "." + RTLIL::unescape_id(wire->name))); + } } else { - log("Found wire %s in input file.\n", (scope + "." + RTLIL::unescape_id(wire->name))); + if (shared->debug) { + log("Found wire %s in input file.\n", (scope + "." + RTLIL::unescape_id(wire->name))); + } } fst_handles[wire] = id; }