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

Method test_contains

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

Source from the content-addressed store, hash-verified

4495 assert len(m) == 0
4496
4497 def test_contains(self):
4498 m = ModelRef()
4499 assert Int("x") not in m
4500
4501 def test_iter(self):
4502 m = ModelRef()

Callers

nothing calls this directly

Calls 2

ModelRefClass · 0.90
IntFunction · 0.90

Tested by

no test coverage detected