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

Method test_as_string

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

Source from the content-addressed store, hash-verified

3201 assert f == Fraction(1, 3)
3202
3203 def test_as_string(self):
3204 r = RatVal(1, 3)
3205 assert r.as_string() == "1/3"
3206
3207 def test_as_long(self):
3208 r = RatVal(7, 2)

Callers

nothing calls this directly

Calls 2

RatValFunction · 0.90
as_stringMethod · 0.45

Tested by

no test coverage detected