Method test_zeroext

tests/test_z3_compat.py:934–938

(self)

        assert r.size() == 8

    def test_zeroext(self):
        x = BitVec("x", 8)
        r = ZeroExt(8, x)
        assert isinstance(r._ast, ZeroExtNode)
        assert r.size() == 16

    def test_signext(self):
        x = BitVec("x", 8)