Method test_contains_ground

tests/test_z3_compat.py:1678–1681

abc' contains 'bc'.

(self, kernel)

        assert _try_prove(claim)

    def test_contains_ground(self, kernel):
        """'abc' contains 'bc'."""
        claim = Contains(StringVal("abc"), StringVal("bc"))
        assert _try_prove(claim)

    def test_string_length_ground(self, kernel):
        """len('hello') == len('world')."""