8bda6c6457b04685fbccb54d6fd9f23583c62080
[satune.git] / src / Test / deserializerautotune.cc
1 #include "csolver.h"
2 #include "autotuner.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         AutoTuner *autotuner = new AutoTuner(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 }