Method test_signext

tests/test_z3_compat.py:940–944

(self)

        assert r.size() == 16

    def test_signext(self):
        x = BitVec("x", 8)
        r = SignExt(8, x)
        assert isinstance(r._ast, SignExtNode)
        assert r.size() == 16

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