Method test_set_sort

tests/test_z3_ported.py:4009–4011

(self)

class TestSetAPI:
    def test_set_sort(self):
        s = SetSort(IntSort())
        assert isinstance(s, ArraySortRef)

    def test_empty_set(self):
        s = EmptySet(IntSort())