From: bdemsky <bdemsky@uci.edu>
Date: Thu, 11 Oct 2018 18:43:32 +0000 (-0700)
Subject: Add binary
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4f17c97b90b1fead93d322091e78923905385e89;p=satune.git

Add binary
---

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