From 0e5417fbd39f7374040c12b4d0427e79eee6875d Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 15 Nov 2018 10:19:41 -0800
Subject: [PATCH] Adding print tuner ...

---
 src/Test/printtuner.cc | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 src/Test/printtuner.cc

diff --git a/src/Test/printtuner.cc b/src/Test/printtuner.cc
new file mode 100644
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;
+}
-- 
2.34.1