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

Method test_length

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

Source from the content-addressed store, hash-verified

1387 assert isinstance(c._ast, StrConcatNode)
1388
1389 def test_length(self):
1390 s = String("s")
1391 length = Length(s)
1392 assert is_int(length)
1393 assert isinstance(length._ast, StrLenNode)
1394
1395 def test_contains(self):
1396 s = String("s")

Callers

nothing calls this directly

Calls 3

StringFunction · 0.90
LengthFunction · 0.90
is_intFunction · 0.90

Tested by

no test coverage detected