projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
1c63b2f3a065162aa8bc60967ae801ced2ae4b6a
[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
}