Merge pull request #237 from VincenzoArceri/master

Corrected translation of GreaterOrEqual and GreaterThan operators in Interval domain

Author: lucaneg

lisa/lisa-core/src/main/java/it/unive/lisa/analysis/numeric/Interval.java

@@ -304,9 +304,9 @@ else if (left.interval.isSingleton() && left.equals(right))
 				return Satisfiability.SATISFIED;
 			return Satisfiability.UNKNOWN;
 		} else if (operator == ComparisonGe.INSTANCE)
-			return satisfiesBinaryExpression(ComparisonLt.INSTANCE, right, left, pp);
-		else if (operator == ComparisonGt.INSTANCE)
 			return satisfiesBinaryExpression(ComparisonLe.INSTANCE, right, left, pp);
+		else if (operator == ComparisonGt.INSTANCE)
+			return satisfiesBinaryExpression(ComparisonLt.INSTANCE, right, left, pp);
 		else if (operator == ComparisonLe.INSTANCE) {
 			Interval glb = null;
 			try {