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

Method test_str_to_int

tests/test_z3_compat.py:1428–1431  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

1426 assert is_int(idx)
1427
1428 def test_str_to_int(self):
1429 s = StringVal("42")
1430 i = StrToInt(s)
1431 assert is_int(i)
1432
1433 def test_int_to_str(self):
1434 i = IntVal(42)

Callers

nothing calls this directly

Calls 3

StringValFunction · 0.90
StrToIntFunction · 0.90
is_intFunction · 0.90

Tested by

no test coverage detected