From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 17 Oct 2018 22:34:10 +0000 (-0700)
Subject: Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c2bfdd3a9255bb06e73edba902d1c13ed6e1ce43;p=satune.git

Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into tuner
---

c2bfdd3a9255bb06e73edba902d1c13ed6e1ce43
diff --cc src/Tuner/multituner.cc
index 97893b7,e0fee46..232b1ea
--- a/src/Tuner/multituner.cc
+++ b/src/Tuner/multituner.cc
@@@ -274,14 -274,14 +274,14 @@@ void MultiTuner::tuneComp() 
  				int tscore = 0;
  				if (scores.contains(t))
  					tscore = scores.get(t);
- 				if (score < tscore)
+ 				if (score > tscore)
  					break;
  			}
 -			DEBUG("ranking[%u]=tuner<%p>(Score=%d)\n", j, tuner, score);
 -			DEBUG("************************\n");
 +			LOG("ranking[%u]=tuner<%p>(Score=%d)\n", j, tuner, score);
 +			LOG("************************\n");
  			ranking.insertAt(j, tuner);
  		}
 -		DEBUG("tunerSize=%u\trankingSize=%u\ttunerVSize=%u\n", tuners.getSize(), ranking.getSize(), tunerV->getSize());
 +		LOG("tunerSize=%u\trankingSize=%u\ttunerVSize=%u\n", tuners.getSize(), ranking.getSize(), tunerV->getSize());
  		for (uint i = tuners.getSize(); i < ranking.getSize(); i++) {
  			TunerRecord *tuner = ranking.get(i);
  			model_print("Removing tuner %u\n", tuner->tunernumber);