Adding print tuner ...
[satune.git] / src / Test / printtuner.cc
1 #include "csolver.h"
2 #include "multituner.h"
3 #include "searchtuner.h"
4
5 int main(int argc, char **argv) {
6         if (argc < 2) {
7                 printf("You should specify a tuner: %s <best.tuner>\n", argv[0]);
8                 exit(-1);
9         }
10         
11         SearchTuner *tuner = new SearchTuner(argv[1]);
12         tuner->print();
13         delete tuner;
14         return 0;
15 }