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

Method test_str_to_code

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

Source from the content-addressed store, hash-verified

4302 assert isinstance(result, ArithRef)
4303
4304 def test_str_to_code(self):
4305 s = StringVal("a")
4306 result = StrToCode(s)
4307 assert isinstance(result, ArithRef)
4308
4309 def test_str_from_code(self):
4310 c = IntVal(65)

Callers

nothing calls this directly

Calls 2

StringValFunction · 0.90
StrToCodeFunction · 0.90

Tested by

no test coverage detected