aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/sat.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-26 16:00:30 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-26 16:00:30 +0200
commita84cb0493566f8f5eb610c6d7b67dda85b0f227b (patch)
treee4b1c2f97db2c317f8b986635141dfd7bb8e78d8 /passes/sat/sat.cc
parentcd6574ecf652901573cbc6b89e1a59dd383ec496 (diff)
parentf8fdc47d3361c1a3445a9357ca26cfe75907d6b0 (diff)
downloadyosys-a84cb0493566f8f5eb610c6d7b67dda85b0f227b.tar.gz
yosys-a84cb0493566f8f5eb610c6d7b67dda85b0f227b.tar.bz2
yosys-a84cb0493566f8f5eb610c6d7b67dda85b0f227b.zip
Merge automatic and manual code changes for new cell connections API
Diffstat (limited to 'passes/sat/sat.cc')
-rw-r--r--passes/sat/sat.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index cc041391b..71eba2f7f 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -321,7 +321,7 @@ struct SatHelper
if (design->selected(module, c.second)) {
// log("Import cell: %s\n", RTLIL::id2cstr(c.first));
if (satgen.importCell(c.second, timestep)) {
- for (auto &p : c.second->connections_)
+ for (auto &p : c.second->connections())
if (ct.cell_output(c.second->type, p.first))
show_drivers.insert(sigmap(p.second), c.second);
import_cell_counter++;
@@ -505,7 +505,7 @@ struct SatHelper
final_signals.add(sig);
} else {
for (auto &d : drivers)
- for (auto &p : d->connections_) {
+ for (auto &p : d->connections()) {
if (d->type == "$dff" && p.first == "\\CLK")
continue;
if (d->type.substr(0, 6) == "$_DFF_" && p.first == "\\C")