summaryrefslogtreecommitdiff
path: root/passes
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-21 02:08:38 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-21 02:08:38 +0200
commitb49beab1f30d0a7567c2917a3387fa52c84350fd (patch)
tree1fc6f137058355ca3fa6ff6311647aab634f9260 /passes
parentb1d520949bdb5357f31f43d9dc4f4579dda9f269 (diff)
Use ezSAT::non_incremental() in "share" pass
Diffstat (limited to 'passes')
-rw-r--r--passes/sat/share.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/sat/share.cc b/passes/sat/share.cc
index 90daefc0..8ef3396e 100644
--- a/passes/sat/share.cc
+++ b/passes/sat/share.cc
@@ -601,6 +601,8 @@ struct ShareWorker
optimize_activation_patterns(filtered_other_cell_activation_patterns);
ezDefaultSAT ez;
+ ez.non_incremental();
+
SatGen satgen(&ez, &modwalker.sigmap);
std::set<RTLIL::Cell*> sat_cells;