}
const char* tunableParameterToString(Tunables tunable){
- switch(tunable){
+ switch(tunable){
case DECOMPOSEORDER:
return "DECOMPOSEORDER";
case MUSTREACHGLOBAL:
return "ENCODINGGRAPHOPT";
case NAIVEENCODER:
return "NAIVEENCODER";
+ case MUSTVALUE:
+ return "MUSTVALUE";
default:
ASSERT(0);
}