635 assert((
IntervalValue(4) / IntervalValue::bottom()).equals(IntervalValue::bottom()));
636 assert((IntervalValue::bottom() /
IntervalValue(2)).equals(IntervalValue::bottom()));
637 assert((IntervalValue::top() /
IntervalValue(0)).equals(IntervalValue::bottom()));
659 assert((
IntervalValue(4) % IntervalValue::bottom()).equals(IntervalValue::bottom()));
660 assert((IntervalValue::bottom() %
IntervalValue(2)).equals(IntervalValue::bottom()));
661 assert((IntervalValue::top() %
IntervalValue(0)).equals(IntervalValue::top()));
693 assert((
IntervalValue(4) << IntervalValue::bottom()).equals(IntervalValue::bottom()));
694 assert((IntervalValue::bottom() <<
IntervalValue(2)).equals(IntervalValue::bottom()));
695 assert((IntervalValue::top() <<
IntervalValue(0)).equals(IntervalValue::top()));
731 assert((
IntervalValue(4) >> IntervalValue::bottom()).equals(IntervalValue::bottom()));
732 assert((IntervalValue::bottom() >>
IntervalValue(2)).equals(IntervalValue::bottom()));
733 assert((IntervalValue::top() >>
IntervalValue(0)).equals(IntervalValue::top()));
757 assert((
IntervalValue(4) & IntervalValue::bottom()).equals(IntervalValue::bottom()));
758 assert((IntervalValue::bottom() &
IntervalValue(2)).equals(IntervalValue::bottom()));
780 assert((
IntervalValue(4) | IntervalValue::bottom()).equals(IntervalValue::bottom()));
781 assert((IntervalValue::bottom() |
IntervalValue(2)).equals(IntervalValue::bottom()));
782 assert((IntervalValue::top() |
IntervalValue(-1)).equals(IntervalValue::top()));
783 assert((
IntervalValue(-1) | IntervalValue::top()).equals(IntervalValue::top()));
804 assert((
IntervalValue(4) ^ IntervalValue::bottom()).equals(IntervalValue::bottom()));
805 assert((IntervalValue::bottom() ^
IntervalValue(2)).equals(IntervalValue::bottom()));
806 assert((IntervalValue::top() ^
IntervalValue(-1)).equals(IntervalValue::top()));
807 assert((
IntervalValue(-1) ^ IntervalValue::top()).equals(IntervalValue::top()));