From: bdemsky <bdemsky@uci.edu>
Date: Tue, 4 Dec 2018 22:06:04 +0000 (-0800)
Subject: Fix knob to only ask it we will actually use knob
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=6b5b58e627090b96dd777b12c03cfa2b326e2f97

Fix knob to only ask it we will actually use knob
---

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();