fix tuner situation

[satune.git] / src / Test / deserializerun.cc

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index 14551a624f1a068eb07b7cedcd248c57343eb013..bbfaab569b77144cde23c3eddd6b52c55673c0fb 100644 (file)
--- a/src/Test/deserializerun.cc
+++ b/src/Test/deserializerun.cc
@@ -9,18 +9,25 @@ 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);
        SearchTuner *tuner = new SearchTuner(argv[3]);
        solver->setTuner(tuner);
+       solver->setSatSolverTimeout(timeout);
        int sat = solver->solve();
        long long metric = solver->getElapsedTime();
        ofstream myfile;
-       myfile.open (argv[4], ios::out);
-       myfile << metric;
-       myfile << sat;
+       myfile.open (argv[4], ios::out | ios::trunc);
+       myfile << metric << endl;
+       myfile << sat << endl;
        myfile.close();
+       //serialize out the tuner we used
+       snprintf(buffer, sizeof(buffer), "%sused", argv[3]);
+       tuner->serializeUsed(buffer);
+
        delete solver;
+       delete tuner;
        return 0;
 }