Method test_repeat_bitvec_one

tests/test_z3_ported.py:2468–2471

(self)

        assert r.size() == 12

    def test_repeat_bitvec_one(self):
        x = BitVec("x", 8)
        r = RepeatBitVec(1, x)
        assert r._ast == x._ast

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