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

Method test_evaluate_alias

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

Source from the content-addressed store, hash-verified

4483 m.eval(Int("x"))
4484
4485 def test_evaluate_alias(self):
4486 m = ModelRef()
4487 assert m.evaluate == m.eval
4488
4489 def test_decls_empty(self):
4490 m = ModelRef()

Callers

nothing calls this directly

Calls 1

ModelRefClass · 0.90

Tested by

no test coverage detected