From 6e6cd462b9993f07c5e0e34402106b0cbcdad05b Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 15 Oct 2018 15:44:11 -0700 Subject: [PATCH 1/1] bug fix --- src/Test/deserializerun.cc | 5 +++++ src/Tuner/multituner.cc | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) 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; -- 2.34.1