Method test_sort_kind_bv

tests/test_z3_ported.py:3295–3296

(self)

        assert RealSort().kind() == 3

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

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