From 6b5b58e627090b96dd777b12c03cfa2b326e2f97 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Tue, 4 Dec 2018 14:06:04 -0800 Subject: [PATCH] Fix knob to only ask it we will actually use knob --- src/ASTTransform/elementopt.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc index b0866ed..96ca8f6 100644 --- a/src/ASTTransform/elementopt.cc +++ b/src/ASTTransform/elementopt.cc @@ -9,7 +9,7 @@ ElementOpt::ElementOpt(CSolver *_solver) : Transform(_solver), - updateSets(solver->getTuner()->getTunable(ELEMENTOPTSETS, &onoff) == 1) + updateSets(false) { } @@ -20,6 +20,9 @@ void ElementOpt::doTransform() { if (solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0) return; + //Set once we know we are going to use it. + updateSets = solver->getTuner()->getTunable(ELEMENTOPTSETS, &onoff) == 1; + SetIteratorBooleanEdge *iterator = solver->getConstraints(); while (iterator->hasNext()) { BooleanEdge constraint = iterator->next(); -- 2.34.1