Calling alloy first when deserializing

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

diff --git a/src/Test/deserializealloytest.cc b/src/Test/deserializealloytest.cc
index 2d6cc25ef3040ea28ebbb163e6271a0c9fd23578..3cb13feb95f9fc8b3c2147f02d55fe29826081c5 100644 (file)
--- a/src/Test/deserializealloytest.cc
+++ b/src/Test/deserializealloytest.cc
@@ -8,9 +8,12 @@ int main(int argc, char **argv) {
                printf("./run.sh deserializer test.dump [--alloy]\n");
                exit(-1);
        }
-       CSolver *solver = CSolver::deserialize(argv[1]);
-       if(argc == 3)
-               solver->setAlloyEncode();
+       CSolver *solver; 
+       if(argc == 3){
+               solver = CSolver::deserialize(argv[1], true);
+       } else {
+               solver = CSolver::deserialize(argv[1]);
+       }
        int value = solver->solve();
        if (value == 1) {
                printf("%s is SAT\n", argv[1]);