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

Method test_empty_set

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

Source from the content-addressed store, hash-verified

4011 assert isinstance(s, ArraySortRef)
4012
4013 def test_empty_set(self):
4014 s = EmptySet(IntSort())
4015 assert isinstance(s, ArrayRef)
4016
4017 def test_full_set(self):
4018 s = FullSet(IntSort())

Callers

nothing calls this directly

Calls 2

EmptySetFunction · 0.90
IntSortFunction · 0.90

Tested by

no test coverage detected