From 5a644b3c50aadf6c0a1cfdb06dd1fbed8375d955 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 30 Aug 2017 16:12:15 -0700
Subject: [PATCH] Tuner bug fix

---
 src/Tuner/autotuner.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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