diff --git a/sapfor/experts/Sapfor_2017/_src/Utils/PassManager.h b/sapfor/experts/Sapfor_2017/_src/Utils/PassManager.h index 5442b6d..c02e607 100644 --- a/sapfor/experts/Sapfor_2017/_src/Utils/PassManager.h +++ b/sapfor/experts/Sapfor_2017/_src/Utils/PassManager.h @@ -276,6 +276,8 @@ void InitPassesDependencies(map> &passDepsIn, set void removalsFromPassesDependencies(map>& passDepsIn, const int curr_regime) { + passDeps = &passDepsIn; + Pass(INSERT_PARALLEL_DIRS_NODIST) -= list({ FIND_FUNC_TO_INCLUDE, CHECK_FUNC_TO_INCLUDE }); Pass(passes(curr_regime)).applyRemovals(); diff --git a/sapfor/experts/Sapfor_2017/_src/VisualizerCalls/get_information.cpp b/sapfor/experts/Sapfor_2017/_src/VisualizerCalls/get_information.cpp index e79bdd7..4fe78cb 100644 --- a/sapfor/experts/Sapfor_2017/_src/VisualizerCalls/get_information.cpp +++ b/sapfor/experts/Sapfor_2017/_src/VisualizerCalls/get_information.cpp @@ -228,7 +228,7 @@ static void runPassesLoop(const vector &passesToRun, const char *prName, if (showDebug) printf("SAPFOR: run pass %d -> %s\n", passesToRun[i], passNames[passesToRun[i]]); __spf_print(1, "SAPFOR: run pass %d -> %s\n", passesToRun[i], passNames[passesToRun[i]]); - runPass(passesToRun[i], prName, folderNameChar); + runPass(passesToRun[i], prName, folderNameChar, true); } } #if __BOOST