Method test_is_member

tests/test_z3_ported.py:4021–4024 · view source on GitHub ↗

(self)

Source from the content-addressed store, hash-verified

4019	assert isinstance(s, ArrayRef)
4020
4021	def test_is_member(self):
4022	s = EmptySet(IntSort())
4023	result = IsMember(IntVal(1), s)
4024	assert isinstance(result, BoolRef)
4025
4026	def test_set_add(self):
4027	s = EmptySet(IntSort())

nothing calls this directly

EmptySetFunction · 0.90

IntSortFunction · 0.90

IsMemberFunction · 0.90

IntValFunction · 0.90

no test coverage detected