d607621358bd0d814be54fead7f15cad23ffd224
[satune.git] / src / Test / deserializealloytest.cc
1 #include "csolver.h"
2
3
4 int main(int argc, char **argv) {
5         printf("%d\n", argc);
6         if (argc != 2 && argc != 3) {
7                 printf("You only specify the name of the file ...\n");
8                 printf("./run.sh deserializer test.dump [--alloy]\n");
9                 exit(-1);
10         }
11         CSolver *solver = CSolver::deserialize(argv[1]);
12         if(argc == 3)
13                 solver->setAlloyEncoder();
14         int value = solver->solve();
15         if (value == 1) {
16                 printf("%s is SAT\n", argv[1]);
17         } else {
18                 printf("%s is UNSAT\n", argv[1]);
19         }
20         delete solver;
21         return 1;
22
23 }