Method test_empty_set

tests/test_z3_compat.py:1968–1972

EmptySet creates an array expression.

(self)

        assert isinstance(s, ArraySortRef)

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

        s = EmptySet(IntSort())
        assert isinstance(s, ArrayRef)

    def test_full_set(self):
        """FullSet creates an array expression."""