Method test_seq_sort_creation

tests/test_z3_compat.py:2048–2052

SeqSort creates a SeqSortRef.

(self)

    """Tests for Sequence sort and operations."""

    def test_seq_sort_creation(self):
        """SeqSort creates a SeqSortRef."""

        s = SeqSort(IntSort())
        assert isinstance(s, SeqSortRef)

    def test_seq_sort_char_is_string(self):
        """SeqSort(CharSort()) returns StringSort."""