X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=src%2FTest%2Fdeserializerun.cc;h=bbfaab569b77144cde23c3eddd6b52c55673c0fb;hb=18d917b3ac3afcf893fe7b04ab35ad6e00c6a8ab;hp=d2c591a50b8e222b79964a4dffe54f4d18ea949c;hpb=4b6c69fed4ff60a6652b3f9fd156beb78c57cec0;p=satune.git

diff --git a/src/Test/deserializerun.cc b/src/Test/deserializerun.cc
index d2c591a..bbfaab5 100644
--- a/src/Test/deserializerun.cc
+++ b/src/Test/deserializerun.cc
@@ -19,14 +19,15 @@ 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]);
 	tuner->serializeUsed(buffer);
 
 	delete solver;
+	delete tuner;
 	return 0;
 }