Method test_concat

tests/test_z3_semantic.py:722–725

(self, kernel)

    """Ground string proofs."""

    def test_concat(self, kernel):
        assert _try_prove(
            StrConcat(StringVal("hello"), StringVal(" world")) == StringVal("hello world")
        )

    def test_length(self, kernel):
        assert _try_prove(Length(StringVal("hello")) == IntVal(5))