From: bdemsky <bdemsky@uci.edu>
Date: Mon, 28 Aug 2017 23:38:34 +0000 (-0700)
Subject: Small edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=75bc0b8273ba37270136fae2b9340f15c532231a;p=satune.git

Small edit
---

diff --git a/src/csolver.cc b/src/csolver.cc
index 3fd77a3..521848a 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -212,7 +212,7 @@ int CSolver::startEncoding() {
 	orderAnalysis(this);
 	naiveEncodingDecision(this);
 	satEncoder->encodeAllSATEncoder(this);
-	int result = satEncoder->solve();
+	int result = unsat ? IS_UNSAT : satEncoder->solve();
 	long long finishTime = getTimeNano();
 	elapsedTime = finishTime - startTime;
 	if (deleteTuner) {