Tuner bug fix

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
index f4509677eed754d27d63ed2bb8cea63d929f1a46..e9bd7731e1b5030e97eb3c786c5312d322558bd8 100644 (file)
--- 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);