From: Hamed <hamed.gorjiara@gmail.com>
Date: Mon, 11 Sep 2017 20:42:10 +0000 (-0700)
Subject: More bugs
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=3f29c5b0c17f38076295e37b1df167d63c36f226

More bugs
---

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index 0e6839d..de9c2fc 100644
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -26,6 +26,10 @@ Deserializer::Deserializer(const char* file):
 
 Deserializer::~Deserializer() {
 	delete solver;
+	
+	if (-1 == close(filedesc)){
+		exit(-1);
+	}
 }
 
 ssize_t Deserializer::myread(void* __buf, size_t __nbytes){
diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc
index 96e81aa..b49b98b 100644
--- a/src/Serialize/serializer.cc
+++ b/src/Serialize/serializer.cc
@@ -12,7 +12,7 @@
 #include "boolean.h"
 
 Serializer::Serializer(const char *file) {
-	filedesc = open(file, O_WRONLY | O_CREAT, 0666);
+	filedesc = open(file, O_WRONLY | O_CREAT | O_TRUNC, 0666);
  
 	if (filedesc < 0) {
 		exit(-1);