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         int sat = solver->solve();
  18         long long metric = solver->getElapsedTime();
  19         ofstream myfile;
  20         myfile.open (argv[4], ios::out);
  21         myfile << metric;
  22         myfile << sat;
  23         myfile.close();
  24         delete solver;
  25         return 0;
  26 }