From 2a059408e74f5de45d53ae64a8dd4a77235cf706 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 28 Apr 2020 00:09:37 -0700
Subject: [PATCH] Fixing bug for freezing variables for encodings other than
 binary index

---
 src/Backend/satelemencoder.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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));
-- 
2.34.1