From: bdemsky <bdemsky@uci.edu>
Date: Mon, 21 Aug 2017 21:28:51 +0000 (-0700)
Subject: edits
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=752bba0351fdd91ef6cb993fd5c1f7ff9c0b5c15;p=satune.git

edits
---

diff --git a/src/Encoders/orderencoder.c b/src/Encoders/orderencoder.c
index b5850b1..084995b 100644
--- a/src/Encoders/orderencoder.c
+++ b/src/Encoders/orderencoder.c
@@ -329,7 +329,9 @@ void localMustAnalysisPartial(CSolver *solver, OrderGraph *graph) {
 		if (edge->mustPos) {
 			if (!edge->mustNeg) {
 				edge->polNeg = false;
-			}
+			} else
+				solver->unsat = true;
+
 			OrderEdge *invEdge = getInverseOrderEdge(graph, edge);
 			if (invEdge != NULL) {
 				if (!invEdge->mustPos)