From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Sun, 5 Aug 2018 01:58:23 +0000 (-0700)
Subject: Bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=eb1ef5630a57497df86f8b7a2fbf3b2495988147

Bug fix
---

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index d6dec3d..3f1f892 100755
--- a/src/ASTTransform/elementopt.cc
+++ b/src/ASTTransform/elementopt.cc
@@ -98,7 +98,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
 	case SATC_LT: {
 		for(uint i=0; i<size; i++) {
 			uint64_t val = s->getElement(i);
-			if (val >= cvalue)
+			if (val < cvalue)
 				elemArray[count++] = val;
 		}
 		break;
@@ -106,7 +106,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
 	case SATC_GT: {
 		for(uint i=0; i<size; i++) {
 			uint64_t val = s->getElement(i);
-			if (val <= cvalue)
+			if (val > cvalue)
 				elemArray[count++] = val;
 		}
 		break;
@@ -114,7 +114,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
 	case SATC_LTE: {
 		for(uint i=0; i<size; i++) {
 			uint64_t val = s->getElement(i);
-			if (val > cvalue)
+			if (val <= cvalue)
 				elemArray[count++] = val;
 		}
 		break;
@@ -122,7 +122,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
 	case SATC_GTE: {
 		for(uint i=0; i<size; i++) {
 			uint64_t val = s->getElement(i);
-			if (val < cvalue)
+			if (val >= cvalue)
 				elemArray[count++] = val;
 		}
 		break;