MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / test_create

Method test_create

tests/test_z3_ported.py:3706–3708  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

3704
3705class TestAstVector:
3706 def test_create(self):
3707 v = AstVector()
3708 assert len(v) == 0
3709
3710 def test_push_and_len(self):
3711 v = AstVector()

Callers

nothing calls this directly

Calls 1

AstVectorClass · 0.90

Tested by

no test coverage detected