Add binary
authorbdemsky <bdemsky@uci.edu>
Thu, 11 Oct 2018 18:43:32 +0000 (11:43 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 11 Oct 2018 18:43:32 +0000 (11:43 -0700)
src/Test/deserializerstatictune.cc [new file with mode: 0644]

diff --git a/src/Test/deserializerstatictune.cc b/src/Test/deserializerstatictune.cc
new file mode 100644 (file)
index 0000000..7660e1e
--- /dev/null
@@ -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;
+}