Method test_repeat_bitvec_invalid

tests/test_z3_ported.py:2473–2476

(self)

        assert r._ast == x._ast

    def test_repeat_bitvec_invalid(self):
        x = BitVec("x", 4)
        with pytest.raises(TypeError):
            RepeatBitVec(0, x)

    def test_bvredand(self):
        x = BitVec("x", 4)