Method test_getitem

tests/test_z3_ported.py:3716–3720

(self)

        assert len(v) == 2

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

    def test_setitem(self):
        v = AstVector()