Add binary
[satune.git] / src / Test / deserializerstatictune.cc
1 #include "csolver.h"
2 #include "staticautotuner.h"
3
4 int main(int argc, char **argv) {
5         if (argc < 2) {
6                 printf("You should specify file names ...");
7                 exit(-1);
8         }
9         CSolver *solvers[argc - 1];
10         StaticAutoTuner *autotuner = new StaticAutoTuner(300);
11         for (int i = 1; i < argc; i++) {
12                 solvers[i - 1] = CSolver::deserialize(argv[i]);
13                 autotuner->addProblem(solvers[i - 1]);
14         }
15
16         autotuner->tune();
17         delete autotuner;
18
19         for (int i = 1; i < argc; i++) {
20                 delete solvers[i - 1];
21         }
22
23         return 1;
24 }