diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/sat/share.cc | 2 |
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; |