Method test_set_sort_creation

tests/test_z3_compat.py:1961–1966

SetSort creates ArraySortRef.

(self)

    """Tests for Set sort and operations."""

    def test_set_sort_creation(self):
        """SetSort creates ArraySortRef."""
        from lean_py.z3 import ArraySortRef

        s = SetSort(IntSort())
        assert isinstance(s, ArraySortRef)

    def test_empty_set(self):
        """EmptySet creates an array expression."""