From: bdemsky <bdemsky@uci.edu>
Date: Sun, 22 Oct 2017 00:30:03 +0000 (-0700)
Subject: Add serialize back to the test case
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3efca7972c700e626966fb603ef8fd895dc2b4e4;p=satune.git

Add serialize back to the test case
---

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",