Adding print tuner ...

diff --git a/src/Test/printtuner.cc b/src/Test/printtuner.cc
new file mode 100644 (file)
index 0000000..1c63b2f
--- /dev/null
+++ b/src/Test/printtuner.cc
@@ -0,0 +1,15 @@
+#include "csolver.h"
+#include "multituner.h"
+#include "searchtuner.h"
+
+int main(int argc, char **argv) {
+       if (argc < 2) {
+               printf("You should specify a tuner: %s <best.tuner>\n", argv[0]);
+               exit(-1);
+       }
+       
+       SearchTuner *tuner = new SearchTuner(argv[1]);
+       tuner->print();
+       delete tuner;
+       return 0;
+}