X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTuner%2Frandomtuner.cc;h=6fefc465fe1f0150618e3348b0d1779582f76359;hb=277157ed17fd19fe51ae9ed82921c8f371d6ccf3;hp=2b0701c2722d9d5ed9b08d448ef31f335deaaa83;hpb=18d917b3ac3afcf893fe7b04ab35ad6e00c6a8ab;p=satune.git

diff --git a/src/Tuner/randomtuner.cc b/src/Tuner/randomtuner.cc
index 2b0701c..6fefc46 100644
--- a/src/Tuner/randomtuner.cc
+++ b/src/Tuner/randomtuner.cc
@@ -34,7 +34,7 @@ void RandomTuner::tune() {
 						tuner->setTime(problem, metric);
 					else
 						tuner->setTime(problem, -2);
-					if(tunerExists(tuner->getTuner())){
+					if(tunerExists(tuner)){
 						//Solving the problem and noticing the tuner
 						//already exists
 						isNew = false;
@@ -50,7 +50,7 @@ void RandomTuner::tune() {
 		uint tSize = tuners.getSize();
 		for (uint i = 0; i < tSize; i++) {
 			SearchTuner *tmpTuner = mutateTuner(tuners.get(i)->getTuner(), budget);
-			while(subTunerExist(tmpTuner)){
+			while(subTunerIndex(tmpTuner) != -1){
 				tmpTuner->randomMutate();
 			}
 			TunerRecord *tmp = new TunerRecord(tmpTuner);