Method test_int2bv

tests/test_z3_compat.py:955–958

(self)

        assert isinstance(r2._ast, UnOpNode) and r2._ast.op == UnOp.BV2INT

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


# ------------------------------------------------------------------