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 }