src/Test/deserializerun.cc

   1 #include "csolver.h"
   2 #include "searchtuner.h"
   3 #include <stdlib.h>
   4 #include <iostream>
   5 #include <fstream>
   6
   7 int main(int argc, char **argv) {
   8         if (argc != 5) {
   9                 printf("You only specify the name of the file ...");
  10                 exit(-1);
  11         }
  12         CSolver *solver = CSolver::deserialize(argv[1]);
  13         uint timeout;
  14         sscanf(argv[2], "%u", &timeout);
  15         SearchTuner *tuner = new SearchTuner(argv[3]);
  16         solver->setTuner(tuner);
  17         solver->setSatSolverTimeout(timeout);
  18         int sat = solver->solve();
  19         long long metric = solver->getElapsedTime();
  20         ofstream myfile;
  21         myfile.open (argv[4], ios::out);
  22         myfile << metric;
  23         myfile << sat;
  24         myfile.close();
  25         delete solver;
  26         return 0;
  27 }