Method test_const_string_sort

tests/test_z3_ported.py:1438–1441

Const("s", StringSort()) returns StringRef.

(self)

        assert isinstance(r, StringRef)

    def test_const_string_sort(self):
        """Const("s", StringSort()) returns StringRef."""
        s = Const("s", StringSort())
        assert isinstance(s, StringRef)

    def test_strings_helper(self):
        a, b, c = Strings("a b c")