Adding SMT Interpreters
[satune.git] / src / Test / analyzemultituner.cc
1 #include "csolver.h"
2 #include "comptuner.h"
3 #include "searchtuner.h"
4
5 int main(int argc, char **argv) {
6         if (argc < 2) {
7                 printf("You should specify number of runs\n");
8                 exit(-1);
9         }
10         uint numruns;
11         sscanf(argv[1], "%u", &numruns);
12
13         CompTuner *multituner = new CompTuner(0, 0);
14         multituner->readData(numruns);
15         multituner->findBestThreeTuners();
16         delete multituner;
17         return 0;
18 }