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

Method test_unit_seq

tests/test_z3_compat.py:2067–2071  ·  view source on GitHub ↗

Unit creates a SeqRef from a non-string element.

(self)

Source from the content-addressed store, hash-verified

2065 assert isinstance(e, SeqRef)
2066
2067 def test_unit_seq(self):
2068 """Unit creates a SeqRef from a non-string element."""
2069
2070 u = Unit(IntVal(42))
2071 assert isinstance(u, SeqRef)
2072
2073 def test_seq_concat(self):
2074 """Sequence concatenation via + operator."""

Callers

nothing calls this directly

Calls 2

UnitFunction · 0.90
IntValFunction · 0.90

Tested by

no test coverage detected