Method test_sort_kind_real

tests/test_z3_ported.py:3292–3293

(self)

        assert IntSort().kind() == 2

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

    def test_sort_kind_bv(self):
        assert BitVecSort(8).kind() == 4