Method test_repeat_bitvec

tests/test_z3_ported.py:2463–2466

(self)

class TestBVExtras:
    def test_repeat_bitvec(self):
        x = BitVec("x", 4)
        r = RepeatBitVec(3, x)
        assert r.size() == 12

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