From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 15 Nov 2018 18:19:41 +0000 (-0800)
Subject: Adding print tuner ...
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=0e5417fbd39f7374040c12b4d0427e79eee6875d;ds=sidebyside

Adding print tuner ...
---

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;
+}