src/Test/clonetest.cc

   1 #include "csolver.h"
   2 #include <unistd.h>
   3 #include <sys/types.h>
   4
   5 int main(int argc, char **argv) {
   6         if (argc < 2) {
   7                 printf("You should specify file names ...");
   8                 exit(-1);
   9         }
  10         //usleep(20000000);
  11         for (int i = 1; i < argc; i++) {
  12                 CSolver *solver = CSolver::deserialize(argv[i]);
  13                 CSolver *copy = solver->clone();
  14                 CSolver *copy2 = solver->clone();
  15                 CSolver *copy3 = solver->clone();
  16                 CSolver *copy4 = solver->clone();
  17                 int value = copy->solve();
  18                 if (value == 1) {
  19                         printf("Copy %s is SAT\n", argv[i]);
  20                 } else {
  21                         printf("Copy %s is UNSAT\n", argv[i]);
  22                 }
  23                 value = copy2->solve();
  24                 if (value == 1) {
  25                         printf("Copy2 %s is SAT\n", argv[i]);
  26                 } else {
  27                         printf("Copy2 %s is UNSAT\n", argv[i]);
  28                 }
  29                 value = copy3->solve();
  30                 if (value == 1) {
  31                         printf("Copy3 %s is SAT\n", argv[i]);
  32                 } else {
  33                         printf("Copy3 %s is UNSAT\n", argv[i]);
  34                 }
  35                 value = copy4->solve();
  36                 if (value == 1) {
  37                         printf("Copy4 %s is SAT\n", argv[i]);
  38                 } else {
  39                         printf("Copy4 %s is UNSAT\n", argv[i]);
  40                 }
  41                 value = solver->solve();
  42                 if (value == 1) {
  43                         printf("Original %s is SAT\n", argv[i]);
  44                 } else {
  45                         printf("Original %s is UNSAT\n", argv[i]);
  46                 }
  47
  48                 delete solver;
  49         }
  50         return 1;
  51 }