From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 22 Nov 2019 02:52:43 +0000 (-0800)
Subject: Bug fix: typos
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=HEAD;hp=cb7331d3834636ca4af0357d272d082c047ec940

Bug fix: typos
---

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);