Method test_add_no_overflow_unsigned

tests/test_z3_ported.py:2511–2514

(self)

class TestBVOverflow:
    def test_add_no_overflow_unsigned(self):
        x, y = BitVecs("x y", 8)
        r = BVAddNoOverflow(x, y)
        assert isinstance(r, BoolRef)

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