From: Hamed <hamed.gorjiara@gmail.com>
Date: Tue, 18 Jul 2017 01:29:04 +0000 (-0700)
Subject: Modify order test case ...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bc9c5252b1b8f8750680a80cef414143d3fd594d;p=satune.git

Modify order test case ...
---

diff --git a/src/Test/testorder.c b/src/Test/testorder.c
index 37217f0..0ebd5e2 100644
--- a/src/Test/testorder.c
+++ b/src/Test/testorder.c
@@ -6,15 +6,15 @@ int main(int numargs, char ** argv) {
 	uint64_t set1[]={5, 1, 4};
 	Set * s=createSet(solver, 0, set1, 3);
 	Order* order = createOrder(solver, TOTAL, s);
-	Boolean* b1=  orderConstraint(solver, order, 1, 4);
-	Boolean* b2=  orderConstraint(solver, order, 5, 4);
+	Boolean* b1=  orderConstraint(solver, order, 5, 1);
+	Boolean* b2=  orderConstraint(solver, order, 1, 4);
 	addConstraint(solver, b1);
 	addConstraint(solver, b2);
 	if (startEncoding(solver)==1)
-		printf("O(1,4)=%d O(5,4)=%d O(4,5)=%d O(1,5)=%d\n", 
-			getOrderConstraintValue(solver, order, 1, 4), 
+		printf("O(5,1)=%d O(1,4)=%d O(5,4)=%d O(1,5)=%d\n", 
+			getOrderConstraintValue(solver, order, 5, 1), 
+			getOrderConstraintValue(solver, order, 1, 4),
 			getOrderConstraintValue(solver, order, 5, 4),
-			getOrderConstraintValue(solver, order, 4, 5),
 			getOrderConstraintValue(solver, order, 1, 5));
 	else
 		printf("UNSAT\n");