fix interval cmp err

SVF-tools · Nov 27, 2023 · 86fd3c7 · 86fd3c7
1 parent e8d95e9
commit 86fd3c7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/svf/include/AbstractExecution/IntervalValue.h b/svf/include/AbstractExecution/IntervalValue.h
@@ -661,9 +661,9 @@ inline IntervalValue operator<(const IntervalValue &lhs, const IntervalValue &rh
             }
             // Return [0,0] means lhs is totally impossible to be less than rhs
             // i.e., lhs is totally greater than or equal to rhs
-            // When lhs.ub >= rhs.lb, e.g., lhs:[3, 4] rhs:[4，5]
-            // lhs.ub(4) >= rhs.lb(4)
-            else if (lhs.ub().geq(rhs.lb()))
+            // When lhs.lb >= rhs.ub, e.g., lhs:[4,5] rhs:[3，4]
+            // lhs.lb(4) >= rhs.ub(4)
+            else if (lhs.lb().geq(rhs.ub()))
             {
                 return IntervalValue(0, 0);
             }