Method test_string_literal

tests/test_z3_ported.py:1380–1384

(self)

    """String theory operations."""

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

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