fix up serialization a bit more

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

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