Method test_string_val

tests/test_z3_compat.py:1376–1380

(self)

        assert isinstance(b, StringRef)

    def test_string_val(self):
        s = StringVal("hello")
        assert is_string_value(s)
        assert isinstance(s._ast, StringLit)
        assert s._ast.val == "hello"

    def test_string_concat(self):
        a = StringVal("hello")