From: bdemsky <bdemsky@uci.edu>
Date: Wed, 30 Aug 2017 23:12:15 +0000 (-0700)
Subject: Tuner bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5a644b3c50aadf6c0a1cfdb06dd1fbed8375d955;p=satune.git

Tuner bug fix
---

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
index f450967..e9bd773 100644
--- a/src/Tuner/autotuner.cc
+++ b/src/Tuner/autotuner.cc
@@ -42,7 +42,7 @@ SearchTuner * AutoTuner::mutateTuner(SearchTuner * oldTuner, uint k) {
 	SearchTuner *newTuner=oldTuner->copyUsed();
 	uint numSettings=oldTuner->getSize();
 	double factor=0.3;//Adjust this factor...
-	uint settingsToMutate=(uint)(factor*(((double)numSettings) * k)/(budget));
+	uint settingsToMutate=(uint)(factor*(((double)numSettings) * (budget - k))/(budget));
 	if (settingsToMutate < 1)
 		settingsToMutate=1;
 	model_print("Mutating %u settings\n", settingsToMutate);