Method test_sort_kind_int

tests/test_z3_ported.py:3289–3290

(self)

        assert BoolSort().kind() == 1

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

    def test_sort_kind_real(self):
        assert RealSort().kind() == 3