Method test_string_sort_name

tests/test_z3_ported.py:3279–3280

(self)

        assert "(BitVec 32)" in s.name()

    def test_string_sort_name(self):
        assert StringSort().name() == "String"

    def test_uninterp_sort_name(self):
        T = DeclareSort("MySort")