Method test_str_concat_variadic

tests/test_z3_ported.py:1434–1436

(self)

        assert isinstance(s2, StringRef)

    def test_str_concat_variadic(self):
        r = StrConcat(StringVal("a"), StringVal("b"), StringVal("c"))
        assert isinstance(r, StringRef)

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