Method test_add_no_underflow

tests/test_z3_ported.py:2521–2524

(self)

        assert isinstance(r, BoolRef)

    def test_add_no_underflow(self):
        x, y = BitVecs("x y", 8)
        r = BVAddNoUnderflow(x, y)
        assert isinstance(r, BoolRef)

    def test_sub_no_overflow(self):
        x, y = BitVecs("x y", 8)