Fix tuner issues
[satune.git] / 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);
23         myfile << metric;
24         myfile << sat;
25         myfile.close();
26         //serialize out the tuner we used
27         snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
28         tuner->serialize(buffer);
29
30         delete solver;
31         return 0;
32 }