X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fdeserializerun.cc;h=1b7371b45b80714798ccd32c0725dba544a517df;hp=d2c591a50b8e222b79964a4dffe54f4d18ea949c;hb=526e78e9379fb1cf98186f4195e8f52866e80063;hpb=4b6c69fed4ff60a6652b3f9fd156beb78c57cec0

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index d2c591a..1b7371b 100644
--- 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]);