Add serialize back to the test case
authorbdemsky <bdemsky@uci.edu>
Sun, 22 Oct 2017 00:30:03 +0000 (17:30 -0700)
committerbdemsky <bdemsky@uci.edu>
Sun, 22 Oct 2017 00:30:03 +0000 (17:30 -0700)
src/Test/ordertest.cc

index 74d5eba..148235a 100644 (file)
@@ -16,6 +16,7 @@ int main(int numargs, char **argv) {
 
        solver->addConstraint(solver->applyLogicalOperation(SATC_OR, b1, solver->applyLogicalOperation(SATC_NOT, b2)));
        solver->addConstraint(solver->applyLogicalOperation(SATC_OR, b2, solver->applyLogicalOperation(SATC_NOT, b1)));
+       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",