Method test_string_concat_ground

tests/test_z3_compat.py:1688–1691

ab' ++ 'cd' == 'abcd'.

(self, kernel)

        assert _try_prove(claim)

    def test_string_concat_ground(self, kernel):
        """'ab' ++ 'cd' == 'abcd'."""
        claim = StrConcat(StringVal("ab"), StringVal("cd")) == StringVal("abcd")
        assert _try_prove(claim)


# ------------------------------------------------------------------