From: bdemsky <bdemsky@uci.edu>
Date: Thu, 19 Oct 2017 01:04:50 +0000 (-0700)
Subject: Bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=5ca16b31231e6033e41e916627b97e6b93cd4647

Bug fix
---

diff --git a/src/csolver.cc b/src/csolver.cc
index 0988a57..fe3d9d9 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -381,7 +381,7 @@ BooleanEdge CSolver::applyLogicalOperation(LogicOp op, BooleanEdge *array, uint
 		return BooleanEdge(boolean);
 	} else {
 		delete boolean;
-		return BooleanEdge(boolean);
+		return BooleanEdge(b);
 	}
 }
 
@@ -447,18 +447,18 @@ int CSolver::solve() {
 	long long startTime = getTimeNano();
 	computePolarities(this);
 
-	Preprocess pp(this);
-	pp.doTransform();
+	//Preprocess pp(this);
+	//pp.doTransform();
 
-	DecomposeOrderTransform dot(this);
-	dot.doTransform();
+	//DecomposeOrderTransform dot(this);
+	//	dot.doTransform();
 
-	IntegerEncodingTransform iet(this);
-	iet.doTransform();
+	//IntegerEncodingTransform iet(this);
+	//	iet.doTransform();
 
-	EncodingGraph eg(this);
-	eg.buildGraph();
-	eg.encode();
+	//EncodingGraph eg(this);
+	//eg.buildGraph();
+	//eg.encode();
 
 	naiveEncodingDecision(this);
 	satEncoder->encodeAllSATEncoder(this);