Method test_str_concat_variadic

tests/test_z3_compat.py:1438–1443

(self)

        assert isinstance(s, StringRef)

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

    def test_str_concat_empty(self):
        r = StrConcat()