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

Method test_modelref_repr

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

Source from the content-addressed store, hash-verified

1729 m[Int("x")]
1730
1731 def test_modelref_repr(self):
1732 m = ModelRef()
1733 assert "unsupported" in repr(m)
1734
1735
1736# ===================================================================

Callers

nothing calls this directly

Calls 1

ModelRefClass · 0.90

Tested by

no test coverage detected