From: bdemsky <bdemsky@uci.edu>
Date: Fri, 1 Sep 2017 07:02:07 +0000 (-0700)
Subject: Bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3d4705ad04ecc1808e7d7d4ded0e50c5e15f79f2;p=satune.git

Bug fix
---

diff --git a/src/ASTTransform/transformer.cc b/src/ASTTransform/transformer.cc
index 54dad59..2c814ea 100644
--- a/src/ASTTransform/transformer.cc
+++ b/src/ASTTransform/transformer.cc
@@ -34,7 +34,8 @@ void Transformer::orderAnalysis() {
 	for (uint i = 0; i < size; i++) {
 		Order *order = orders->get(i);
 		decomposeOrder->setCurrentOrder(order);
-		if (!decomposeOrder->canExecuteTransform()){
+
+		if (true) {
 			continue;
 		}
 
diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index b9a9916..8c247cc 100644
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -82,6 +82,8 @@ void resizeCNF(CNF *cnf, uint newCapacity) {
 	uint newMask = newCapacity - 1;
 	for (uint i = 0; i < oldCapacity; i++) {
 		Node *n = old_array[i];
+		if (n == NULL)
+			continue;
 		uint hashCode = n->hashCode;
 		uint newindex = hashCode & newMask;
 		for (;; newindex = (newindex + 1) & newMask) {
@@ -135,6 +137,7 @@ Edge createNode(CNF *cnf, NodeType type, uint numEdges, Edge *edges) {
 		}
 	}
 	*n_ptr = allocNode(type, numEdges, edges, hashvalue);
+	cnf->size++;
 	Edge e = {*n_ptr};
 	return e;
 }