Modify order test case ...

diff --git a/src/Test/testorder.c b/src/Test/testorder.c
index 37217f084551a750f58287dada1c7fce21b8771d..0ebd5e22d9a4226705b7710da1db5e222b85f56e 100644 (file)
--- 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");