Bug fix ...

diff --git a/src/Test/runcomptuner.cc b/src/Test/runcomptuner.cc
index dc3c035281d5e6870ad0825e18a0773cfe2da079..f625e6281010c03523d5809f79fffdf0f13f22fe 100644 (file)
--- a/src/Test/runcomptuner.cc
+++ b/src/Test/runcomptuner.cc
@@ -23,7 +23,7 @@ int main(int argc, char **argv) {
                        else
                                multituner->addProblem(argv[i]);
                } else
-                       multituner->addTuner(new SearchTuner(argv[i]));
+                       multituner->addTuner(new SearchTuner(argv[i], true )); //add settings to usedsettigs
        }
 
        if (!tunerfiles) {

diff --git a/src/Tuner/searchtuner.cc b/src/Tuner/searchtuner.cc
index 373fc4c4980b575e03ca4f81a5e3cd235e95a452..a6005802e2cd6f469e8e45e0e11ded5369edbb6e 100644 (file)
--- a/src/Tuner/searchtuner.cc
+++ b/src/Tuner/searchtuner.cc
@@ -64,7 +64,7 @@ ostream &operator<<(ostream &os, const TunableSetting &ts)
 SearchTuner::SearchTuner() {
 }
 
-SearchTuner::SearchTuner(const char *filename) {
+SearchTuner::SearchTuner(const char *filename, bool addused) {
        ifstream myfile;
        myfile.open (filename, ios::in);
        if (myfile.is_open()) {
@@ -86,6 +86,9 @@ SearchTuner::SearchTuner(const char *filename) {
                        }
                        setting->setDecision(lowValue, highValue, defaultValue, selectedValue);
                        settings.add(setting);
+                       if(addused){
+                               usedSettings.add(setting);
+                       }
                }
                myfile.close();
        } else {

diff --git a/src/Tuner/searchtuner.h b/src/Tuner/searchtuner.h
index 76244257e08a5ba56de938a0cb4458b7ffb8e488..935f5277db5f6c3b56fa532410ca4b92af611b6d 100644 (file)
--- a/src/Tuner/searchtuner.h
+++ b/src/Tuner/searchtuner.h
@@ -34,7 +34,7 @@ private:
 class SearchTuner : public Tuner {
 public:
        SearchTuner();
-       SearchTuner(const char *filename);
+       SearchTuner(const char *filename, bool addused = false);
        ~SearchTuner();
        virtual int getTunable(TunableParam param, TunableDesc *descriptor);
        int getVarTunable(VarType vartype, TunableParam param, TunableDesc *descriptor);