Method test_string_sort

tests/test_z3_compat.py:1361–1364

(self)

    """Tests for String/Sequence support (gap #4a)."""

    def test_string_sort(self):
        s = StringSort()
        assert isinstance(s, StringSortRef)
        assert repr(s) == "String"

    def test_string_var(self):
        s = String("s")