From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 28 Apr 2020 07:09:37 +0000 (-0700)
Subject: Fixing bug for freezing variables for encodings other than binary index
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2a059408e74f5de45d53ae64a8dd4a77235cf706;p=satune.git

Fixing bug for freezing variables for encodings other than binary index
---

diff --git a/src/Backend/satelemencoder.cc b/src/Backend/satelemencoder.cc
index 7687f35..ed04630 100644
--- a/src/Backend/satelemencoder.cc
+++ b/src/Backend/satelemencoder.cc
@@ -228,7 +228,7 @@ void SATEncoder::freezeElementVariables(ElementEncoding *encoding) {
 		freezeVariable(cnf, e);
 	}
 	for(uint i=0; i< encoding->encArraySize; i++){
-		if(encoding->isinUseElement(i) && encoding->encoding != EENC_NONE && encoding->numVars > 1){
+		if(encoding->isinUseElement(i) && encoding->encoding != EENC_NONE && encoding->numVars > 1 && encoding->edgeArray!= NULL){
 			Edge e = encoding->edgeArray[i];
 			if(!edgeIsNull(e)){
 				ASSERT(edgeIsVarConst(e));