From 16bc8b176b43b7d170b4542b2d572de9e7d147f8 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Thu, 21 Nov 2019 18:52:43 -0800 Subject: [PATCH] Bug fix: typos --- src/Tuner/basictuner.cc | 2 +- src/Tuner/comptuner.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Tuner/basictuner.cc b/src/Tuner/basictuner.cc index f3a00ea..6ac7453 100644 --- a/src/Tuner/basictuner.cc +++ b/src/Tuner/basictuner.cc @@ -195,7 +195,7 @@ long long BasicTuner::evaluate(Problem *problem, TunerRecord *tuner) { problem->setResult( sat ); } else if (problem->getResult() != sat && sat != IS_INDETER) { model_print("******** Result has changed ******** Found a bug!!\n"); - ASSERT(0) + ASSERT(0); } if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout metric = -1; diff --git a/src/Tuner/comptuner.cc b/src/Tuner/comptuner.cc index b8b574c..27eba5b 100644 --- a/src/Tuner/comptuner.cc +++ b/src/Tuner/comptuner.cc @@ -31,7 +31,7 @@ void CompTuner::findBestTwoTuners() { for (uint l = 0; l < problems.getSize(); l++) { Problem *problem = problems.get(l); long long time1 = tuner1->getTime(problem); - if(time1 == -1 || time2 == -2){ + if(time1 == -1 || time1 == -2){ time1=LLONG_MAX; } long long time2 = tuner2->getTime(problem); -- 2.34.1