From: Hamed <hamed.gorjiara@gmail.com>
Date: Tue, 22 Aug 2017 22:25:16 +0000 (-0700)
Subject: Fixin memory bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3864e5b351f8262b769f0b2f4034f986871f3d14;p=satune.git

Fixin memory bug
---

diff --git a/src/Backend/satorderencoder.c b/src/Backend/satorderencoder.c
index bb076ec..64f414c 100644
--- a/src/Backend/satorderencoder.c
+++ b/src/Backend/satorderencoder.c
@@ -61,6 +61,12 @@ Edge orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder){
 	Predicate *predicate =allocPredicateOperator(LT, (Set*[]){order->set, order->set}, 2);
 	Boolean * boolean=allocBooleanPredicate(predicate, (Element *[]){elem1,elem2}, 2, NULL);
 	setFunctionEncodingType(getPredicateFunctionEncoding((BooleanPredicate*)boolean), CIRCUIT);
+	{//Adding new elements and boolean/predicate to solver regarding memory management
+		pushVectorBoolean(This->solver->allBooleans, boolean);
+		pushVectorPredicate(This->solver->allPredicates, predicate);
+		pushVectorElement(This->solver->allElements, elem1);
+		pushVectorElement(This->solver->allElements, elem2);
+	}
 	return encodeConstraintSATEncoder(This, boolean);
 }