From 3efca7972c700e626966fb603ef8fd895dc2b4e4 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Sat, 21 Oct 2017 17:30:03 -0700 Subject: [PATCH] Add serialize back to the test case --- src/Test/ordertest.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Test/ordertest.cc b/src/Test/ordertest.cc index 74d5eba..148235a 100644 --- a/src/Test/ordertest.cc +++ b/src/Test/ordertest.cc @@ -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", -- 2.34.1