Method test_string_concat_operator

tests/test_z3_ported.py:1391–1395

(self)

        assert is_var(s)

    def test_string_concat_operator(self):
        a = StringVal("hello")
        b = StringVal(" world")
        c = a + b
        assert isinstance(c._ast, StrConcatNode)

    def test_string_length(self):
        s = String("s")