Method test_int2bv

tests/test_z3_ported.py:2251–2254

(self)

        assert is_int(r)

    def test_int2bv(self):
        x = Int("x")
        r = Int2BV(x, 8)
        assert r.size() == 8


# ===================================================================