Fix result file

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

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index d2c591a50b8e222b79964a4dffe54f4d18ea949c..1b7371b45b80714798ccd32c0725dba544a517df 100644 (file)
--- a/src/Test/deserializerun.cc
+++ b/src/Test/deserializerun.cc
@@ -19,9 +19,9 @@ int main(int argc, char **argv) {
        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]);