Bug fix: deserializing the tunernumber ...

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

diff --git a/src/Test/logicopstest.cc b/src/Test/logicopstest.cc
index 9b2001596d03783e66321176f74993d6f2720805..7b30f80dc3af3168acd2fe9a807dfa83589a2a33 100644 (file)
--- a/src/Test/logicopstest.cc
+++ b/src/Test/logicopstest.cc
@@ -24,6 +24,7 @@ int main(int numargs, char **argv) {
        solver->addConstraint(solver->applyLogicalOperation(SATC_OR, barray4, 2));
        BooleanEdge barray5[] = {b1, b4};
        solver->addConstraint(solver->applyLogicalOperation(SATC_XOR, barray5, 2));
+       solver->serialize();
        if (solver->solve() == 1)
                printf("b1=%d b2=%d b3=%d b4=%d\n",
                                         solver->getBooleanValue(b1), solver->getBooleanValue(b2),