Method test_sort_kind_array

tests/test_z3_ported.py:3298–3299

(self)

        assert BitVecSort(8).kind() == 4

    def test_sort_kind_array(self):
        assert ArraySort(IntSort(), IntSort()).kind() == 5

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