Method test_iter

tests/test_z3_ported.py:3729–3734

(self)

        assert v[0] is y

    def test_iter(self):
        v = AstVector()
        v.push(Int("x"))
        v.push(Int("y"))
        items = list(v)
        assert len(items) == 2

    def test_contains(self):
        v = AstVector()