Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

[satune.git] / src / Test / ordertest.cc

diff --git a/src/Test/ordertest.cc b/src/Test/ordertest.cc
old mode 100755 (executable)
new mode 100644 (file)
index d9ad852..9ffcab5
--- a/src/Test/ordertest.cc
+++ b/src/Test/ordertest.cc
@@ -15,6 +15,7 @@ int main(int numargs, char **argv) {
        BooleanEdge b2 =  solver->orderConstraint(order, 1, 4);
        solver->addConstraint(b1);
        solver->addConstraint(b2);
+       solver->serialize();
        if (solver->solve() == 1){
                printf("SAT\n");
                printf("O(5,1)=%d O(1,4)=%d O(5,4)=%d O(1,5)=%d\n",