mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 13:29:12 +00:00
Code Activity

don't consider blackbox modules in "sat" command

Browse source
This commit is contained in:
Clifford Wolf 2015-04-18 09:29:03 +02:00
parent 9041f34233
commit faa95dd845
1 changed files with 5 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

12
passes/sat/sat.cc
View file

@ -1293,13 +1293,11 @@ struct SatPass : public Pass {
extra_args(args, argidx, design); extra_args(args, argidx, design);
RTLIL::Module *module = NULL; RTLIL::Module *module = NULL;
for (auto &mod_it : design->modules_) for (auto mod : design->selected_modules()) {
if (design->selected(mod_it.second)) { if (module)
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));
log_cmd_error("Only one module must be selected for the SAT pass! (selected: %s and %s)\n", module = mod;
RTLIL::id2cstr(module->name), RTLIL::id2cstr(mod_it.first)); }
module = mod_it.second;
}
if (module == NULL) if (module == NULL)
log_cmd_error("Can't perform SAT on an empty selection!\n"); log_cmd_error("Can't perform SAT on an empty selection!\n");