From: Hamed <hamed.gorjiara@gmail.com>
Date: Mon, 11 Sep 2017 23:11:20 +0000 (-0700)
Subject: More bug fix ...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=35f0fe10227c0bf210440fb284da9dac23ddfee8;p=satune.git

More bug fix ...
---

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index de9c2fc..7119119 100644
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -170,7 +170,14 @@ void Deserializer::deserializeBooleanLogic(){
 	myread(&size, sizeof(uint));
 	Vector<BooleanEdge> members;
 	for(uint i=0; i<size; i++){
-		
+		Boolean* member;
+		myread(&member, sizeof(Boolean *));
+		BooleanEdge tmp(member);
+		bool isNegated = tmp.isNegated();
+		ASSERT(map.contains(tmp.getBoolean()));
+		member = (Boolean*) map.get(tmp.getBoolean());
+		BooleanEdge res(member);
+		members.push( isNegated?res.negate():res );
 	}
 	map.put(bl_ptr, solver->applyLogicalOperation(op, members.expose(), size).getBoolean());
 }