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

Method test_decls_empty

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

Source from the content-addressed store, hash-verified

4487 assert m.evaluate == m.eval
4488
4489 def test_decls_empty(self):
4490 m = ModelRef()
4491 assert m.decls() == []
4492
4493 def test_len(self):
4494 m = ModelRef()

Callers

nothing calls this directly

Calls 2

declsMethod · 0.95
ModelRefClass · 0.90

Tested by

no test coverage detected