bug fix

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index 29afbd9a22bcdf97aa27834f3c7e0be2aefb5568..ef6e9db5084414a8fd7910282a13b2a6263b26f2 100644 (file)
--- 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);
        }
                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);
        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();
        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;
 }
        delete solver;
        return 0;
 }

diff --git a/src/Tuner/multituner.cc b/src/Tuner/multituner.cc
index a30b482c880747820ffaabe8b5e32c960db1dc23..fbf66c7f1b9f9b462d6d1e559a98e3239b963b5e 100644 (file)
--- 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
        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;
        int status = system(buffer);
 
        long long metric = -1;