From: bdemsky <bdemsky@uci.edu>
Date: Mon, 15 Oct 2018 22:44:11 +0000 (-0700)
Subject: bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=6e6cd462b9993f07c5e0e34402106b0cbcdad05b;hp=46ec863801c9ca9d8d92d65008ffc3f7cf234f89

bug fix
---

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index 29afbd9..ef6e9db 100644
--- a/src/Test/deserializerun.cc
+++ b/src/Test/deserializerun.cc
@@ -9,6 +9,7 @@ int main(int argc, char **argv) {
 		printf("You only specify the name of the file ...");
 		exit(-1);
 	}
+	char buffer[512];
 	CSolver *solver = CSolver::deserialize(argv[1]);
 	uint timeout;
 	sscanf(argv[2], "%u", &timeout);
@@ -22,6 +23,10 @@ int main(int argc, char **argv) {
 	myfile << metric;
 	myfile << sat;
 	myfile.close();
+	//serialize out the tuner we used
+	snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
+	tuner->serialize(buffer);
+
 	delete solver;
 	return 0;
 }
diff --git a/src/Tuner/multituner.cc b/src/Tuner/multituner.cc
index a30b482..fbf66c7 100644
--- a/src/Tuner/multituner.cc
+++ b/src/Tuner/multituner.cc
@@ -66,7 +66,7 @@ long long MultiTuner::evaluate(Problem *problem, SearchTuner *tuner) {
 	tuner->serialize(buffer);
 
 	//Do run
-	snprintf(buffer, sizeof(buffer), "deserializerun %s %u tuner%u result%s%u > log%u", problem->getProblem(), timeout, execnum, problem->getProblem(), execnum, execnum);
+	snprintf(buffer, sizeof(buffer), "./run.sh deserializerun %s %u tuner%u result%s%u > log%u", problem->getProblem(), timeout, execnum, problem->getProblem(), execnum, execnum);
 	int status = system(buffer);
 
 	long long metric = -1;