From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 18 Apr 2015 07:29:03 +0000 (+0200)
Subject: don't consider blackbox modules in "sat" command
X-Git-Tag: yosys-0.6~320
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=faa95dd8455a87726f1612c32383675c24fcfcb7;p=yosys.git

don't consider blackbox modules in "sat" command
---

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 9e5cc9e91..a420011ec 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -1293,13 +1293,11 @@ struct SatPass : public Pass {
 		extra_args(args, argidx, design);
 
 		RTLIL::Module *module = NULL;
-		for (auto &mod_it : design->modules_)
-			if (design->selected(mod_it.second)) {
-				if (module)
-					log_cmd_error("Only one module must be selected for the SAT pass! (selected: %s and %s)\n",
-							RTLIL::id2cstr(module->name), RTLIL::id2cstr(mod_it.first));
-				module = mod_it.second;
-			}
+		for (auto mod : design->selected_modules()) {
+			if (module)
+				log_cmd_error("Only one module must be selected for the SAT pass! (selected: %s and %s)\n", log_id(module), log_id(mod));
+			module = mod;
+		}
 		if (module == NULL)
 			log_cmd_error("Can't perform SAT on an empty selection!\n");