From b49beab1f30d0a7567c2917a3387fa52c84350fd Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 21 Jul 2014 02:08:38 +0200 Subject: [PATCH] Use ezSAT::non_incremental() in "share" pass --- passes/sat/share.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/passes/sat/share.cc b/passes/sat/share.cc index 90daefc0a..8ef3396e0 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 sat_cells; -- 2.30.2