Method test_setitem

tests/test_z3_ported.py:3722–3727

(self)

        assert v[0] is x

    def test_setitem(self):
        v = AstVector()
        v.push(Int("x"))
        y = Int("y")
        v[0] = y
        assert v[0] is y

    def test_iter(self):
        v = AstVector()