From: Hamed Gorjiara Date: Tue, 22 Oct 2019 20:32:44 +0000 (-0700) Subject: BUGFIX: When 2 selected tuners cannot solve the problem X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=5cdb9afc7deb5cae06360d252a93489319ffa685;ds=sidebyside BUGFIX: When 2 selected tuners cannot solve the problem --- diff --git a/src/Tuner/comptuner.cc b/src/Tuner/comptuner.cc index 92a8985..64e58a0 100644 --- a/src/Tuner/comptuner.cc +++ b/src/Tuner/comptuner.cc @@ -29,7 +29,13 @@ void CompTuner::findBestTwoTuners() { double mintimes[problems.getSize()]; for (uint l = 0; l < problems.getSize(); l++) { Problem *problem = problems.get(l); - mintimes[l] = pow(min(tuner1->getTime(problem), tuner2->getTime(problem)), (double)1 / problems.getSize()); + long long time1 = tuner1->getTime(problem); + long long time2 = tuner2->getTime(problem); + long long minTime =DBL_MAX; + if(time1 != -1 || time2 != -1){ + minTime = min(time1,time2); + } + mintimes[l] = pow(minTime, (double)1 / problems.getSize()); } double result = 1; for (uint l = 0; l < problems.getSize(); l++) {