Bug fix

diff --git a/src/ASTTransform/transformer.cc b/src/ASTTransform/transformer.cc
index 54dad59ebe14ef5b89635bd56a65fdfa590ea2c9..2c814ea4f462e37f707bbe4cca0221e1984d1578 100644 (file)
--- 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 b9a991698f48509db855e20bbda4631bc2af913c..8c247cca46c51fbc5a093e9444c6862d0a3dae38 100644 (file)
--- 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;
 }