From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 9 Sep 2020 20:48:48 +0000 (-0700)
Subject: Bug fix: Empty sized element
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d5e9de31988e80de401b8c6f9f20b4af9f980c67;p=satune.git

Bug fix: Empty sized element
---

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index 413d5dd..9cd3265 100644
--- a/src/ASTTransform/elementopt.cc
+++ b/src/ASTTransform/elementopt.cc
@@ -163,7 +163,10 @@ void ElementOpt::constrainVarWithConst(BooleanPredicate *pred, ElementSet *var,
 	}
 	if (size == count)
 		return;
-
+	if(count == 0 ){
+    	solver->setUnSAT();
+		return;
+	}
 	Set *newset = solver->createSet(s->type, elemArray, count);
 	solver->elemMap.remove(var);
 	var->set = newset;