Method test_bv_sort_repr

tests/test_z3_ported.py:1931–1932

(self)

        assert repr(StringSort()) == "String"

    def test_bv_sort_repr(self):
        assert "8" in repr(BitVecSort(8))

    def test_array_sort(self):
        s = ArraySort(IntSort(), IntSort())