Method test_sort_kind_bool

tests/test_z3_ported.py:3286–3287

(self)

        assert T.name() == "MySort"

    def test_sort_kind_bool(self):
        assert BoolSort().kind() == 1

    def test_sort_kind_int(self):
        assert IntSort().kind() == 2