Method test_str_concat_empty

tests/test_z3_compat.py:1445–1447

(self)

        assert isinstance(r, StringRef)

    def test_str_concat_empty(self):
        r = StrConcat()
        assert is_string_value(r)

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