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         char buffer[512];
  13         CSolver *solver = CSolver::deserialize(argv[1]);
  14         uint timeout;
  15         sscanf(argv[2], "%u", &timeout);
  16         SearchTuner *tuner = new SearchTuner(argv[3]);
  17         solver->setTuner(tuner);
  18         solver->setSatSolverTimeout(timeout);
  19         int sat = solver->solve();
  20         long long metric = solver->getElapsedTime();
  21         ofstream myfile;
  22         myfile.open (argv[4], ios::out | ios::trunc);
  23         myfile << metric << endl;
  24         myfile << sat << endl;
  25         myfile.close();
  26         //serialize out the tuner we used
  27         snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
  28         tuner->serializeUsed(buffer);
  29
  30         delete solver;
  31         return 0;
  32 }