Fixing bug for freezing variables for encodings other than binary index

diff --git a/src/Backend/satelemencoder.cc b/src/Backend/satelemencoder.cc
index 7687f3532e6b5f84840588aa56ae4dd3df87e032..ed04630770b73b494faa9bee0d297e3ff2691d49 100644 (file)
--- 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));