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

Method test_full_set

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

Source from the content-addressed store, hash-verified

4015 assert isinstance(s, ArrayRef)
4016
4017 def test_full_set(self):
4018 s = FullSet(IntSort())
4019 assert isinstance(s, ArrayRef)
4020
4021 def test_is_member(self):
4022 s = EmptySet(IntSort())

Callers

nothing calls this directly

Calls 2

FullSetFunction · 0.90
IntSortFunction · 0.90

Tested by

no test coverage detected