Method test_sort_kind_string

tests/test_z3_ported.py:3301–3302

(self)

        assert ArraySort(IntSort(), IntSort()).kind() == 5

    def test_sort_kind_string(self):
        assert StringSort().kind() == 7

    def test_sort_kind_uninterpreted(self):
        T = DeclareSort("T")