Method test_full_set

tests/test_z3_compat.py:1974–1978

FullSet creates an array expression.

(self)

        assert isinstance(s, ArrayRef)

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

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

    def test_set_add(self):
        """SetAdd adds element to set."""