From 877ccf41dd7af0c8cd9afab5f56c48f8913a1da0 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 17 Oct 2018 14:35:06 -0700 Subject: [PATCH] bug fixes --- src/Tuner/multituner.cc | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/Tuner/multituner.cc b/src/Tuner/multituner.cc index 09e4491..34d2ce1 100644 --- a/src/Tuner/multituner.cc +++ b/src/Tuner/multituner.cc @@ -114,7 +114,7 @@ void MultiTuner::readData(uint numRuns) { long long metric = -1; int sat = IS_INDETER; //Read data in from results file - snprintf(buffer, sizeof(buffer), "result%u", execnum); + snprintf(buffer, sizeof(buffer), "result%u", i); myfile.open (buffer, ios::in); @@ -130,9 +130,11 @@ void MultiTuner::readData(uint numRuns) { model_print("******** Result has changed ********\n"); } - if (metric != -1) + if (metric != -1) { + if (tuner->getTime(problem) == -1) + tuner->problems.push(problem); tuner->setTime(problem, metric); - + } } @@ -228,6 +230,8 @@ void MultiTuner::tuneComp() { long long metric = tuner->getTime(problem); if (metric == -1) { metric = evaluate(problem, tuner); + if (tuner->getTime(problem) == -1) + tuner->problems.push(problem); if (metric != -1) tuner->setTime(problem, metric); } -- 2.34.1