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

Method test_iter

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

Source from the content-addressed store, hash-verified

4499 assert Int("x") not in m
4500
4501 def test_iter(self):
4502 m = ModelRef()
4503 assert list(m) == []
4504
4505 def test_sexpr(self):
4506 m = ModelRef()

Callers

nothing calls this directly

Calls 1

ModelRefClass · 0.90

Tested by

no test coverage detected