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;
  12         if(argc == 3){
  13                 solver = CSolver::deserialize(argv[1], true);
  14         } else {
  15                 solver = CSolver::deserialize(argv[1]);
  16         }
  17         int value = solver->solve();
  18         if (value == 1) {
  19                 printf("%s is SAT\n", argv[1]);
  20         } else {
  21                 printf("%s is UNSAT\n", argv[1]);
  22         }
  23         delete solver;
  24         return 1;
  25
  26 }