projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
8a3ccbd00c7cdd7a936849b048f76a56af5829ec
[satune.git]
/
src
/
Test
/
printtuner.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 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
}