Bug fix for mustHaveValue tuning parameter
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 3 Oct 2018 17:55:30 +0000 (10:55 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 3 Oct 2018 17:55:30 +0000 (10:55 -0700)
src/Tuner/tunable.cc
src/Tuner/tunable.h

index dd2cb7f..115e04e 100644 (file)
@@ -16,7 +16,7 @@ int DefaultTuner::getVarTunable(VarType vartype1, VarType vartype2, TunableParam
 }
 
 const char* tunableParameterToString(Tunables tunable){
 }
 
 const char* tunableParameterToString(Tunables tunable){
-        switch(tunable){
+       switch(tunable){
                 case DECOMPOSEORDER:
                         return "DECOMPOSEORDER";
                 case MUSTREACHGLOBAL:
                 case DECOMPOSEORDER:
                         return "DECOMPOSEORDER";
                 case MUSTREACHGLOBAL:
@@ -47,6 +47,8 @@ const char* tunableParameterToString(Tunables tunable){
                        return "ENCODINGGRAPHOPT";
                case NAIVEENCODER:
                        return "NAIVEENCODER";
                        return "ENCODINGGRAPHOPT";
                case NAIVEENCODER:
                        return "NAIVEENCODER";
+               case MUSTVALUE:
+                       return "MUSTVALUE";
                 default:
                         ASSERT(0);
         }
                 default:
                         ASSERT(0);
         }
index 0213f03..c2a70b0 100644 (file)
@@ -39,7 +39,7 @@ public:
 static TunableDesc onoff(0, 1, 1);
 static TunableDesc offon(0, 1, 0);
 static TunableDesc proxyparameter(1, 5, 2);
 static TunableDesc onoff(0, 1, 1);
 static TunableDesc offon(0, 1, 0);
 static TunableDesc proxyparameter(1, 5, 2);
-static TunableDesc mustValueBinaryIndex(1, 9, 5);
+static TunableDesc mustValueBinaryIndex(5, 9, 8);
 static TunableDesc NodeEncodingDesc(ELEM_UNASSIGNED, BINARYINDEX, ELEM_UNASSIGNED);
 static TunableDesc NaiveEncodingDesc(ONEHOT, BINARYINDEX, ONEHOT);
 
 static TunableDesc NodeEncodingDesc(ELEM_UNASSIGNED, BINARYINDEX, ELEM_UNASSIGNED);
 static TunableDesc NaiveEncodingDesc(ONEHOT, BINARYINDEX, ONEHOT);