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

Method test_is_pattern

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

Source from the content-addressed store, hash-verified

4286 assert not is_to_int(x)
4287
4288 def test_is_pattern(self):
4289 assert not is_pattern(Int("x"))
4290
4291
4292# ===================================================================

Callers

nothing calls this directly

Calls 2

is_patternFunction · 0.90
IntFunction · 0.90

Tested by

no test coverage detected