From 4f17c97b90b1fead93d322091e78923905385e89 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Thu, 11 Oct 2018 11:43:32 -0700
Subject: [PATCH] Add binary

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

diff --git a/src/Test/deserializerstatictune.cc b/src/Test/deserializerstatictune.cc
new file mode 100644
index 0000000..7660e1e
--- /dev/null
+++ b/src/Test/deserializerstatictune.cc
@@ -0,0 +1,24 @@
+#include "csolver.h"
+#include "staticautotuner.h"
+
+int main(int argc, char **argv) {
+	if (argc < 2) {
+		printf("You should specify file names ...");
+		exit(-1);
+	}
+	CSolver *solvers[argc - 1];
+	StaticAutoTuner *autotuner = new StaticAutoTuner(300);
+	for (int i = 1; i < argc; i++) {
+		solvers[i - 1] = CSolver::deserialize(argv[i]);
+		autotuner->addProblem(solvers[i - 1]);
+	}
+
+	autotuner->tune();
+	delete autotuner;
+
+	for (int i = 1; i < argc; i++) {
+		delete solvers[i - 1];
+	}
+
+	return 1;
+}
-- 
2.34.1