svf-lib 1.0.2408 → 1.0.2409
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -887,7 +887,6 @@ inline IntervalValue operator<=(const IntervalValue &lhs, const IntervalValue &r
|
|
|
887
887
|
/// Left binary shift of IntervalValues
|
|
888
888
|
inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)
|
|
889
889
|
{
|
|
890
|
-
//TODO: implement <<
|
|
891
890
|
if (lhs.isBottom() || rhs.isBottom())
|
|
892
891
|
return IntervalValue::bottom();
|
|
893
892
|
if (lhs.isTop() && rhs.isTop())
|
|
@@ -925,7 +924,6 @@ inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &r
|
|
|
925
924
|
/// Left binary shift of IntervalValues
|
|
926
925
|
inline IntervalValue operator>>(const IntervalValue &lhs, const IntervalValue &rhs)
|
|
927
926
|
{
|
|
928
|
-
//TODO: implement >>
|
|
929
927
|
if (lhs.isBottom() || rhs.isBottom())
|
|
930
928
|
return IntervalValue::bottom();
|
|
931
929
|
else if (lhs.isTop() && rhs.isTop())
|