Update IntervalValue.h

SVF-tools · Nov 21, 2023 · b6da6f4 · b6da6f4
1 parent b99920c
commit b6da6f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/svf/include/AbstractExecution/IntervalValue.h b/svf/include/AbstractExecution/IntervalValue.h
@@ -765,7 +765,7 @@ inline IntervalValue operator<=(const IntervalValue &lhs, const IntervalValue &r
             // for other cases, lhs can <= rhs or not, depending on the values
             // e.g. lhs: [2,4], rhs: [1,3],
             // lhs can <= rhs if lhs is 3, rhs is 3.
-            // lhs can also not > rhs if lhs is 3 rhs is 2
+            // lhs can also not <= rhs if lhs is 3 rhs is 2
             else
             {
                 return IntervalValue(0, 1);