Method test_contains

tests/test_z3_compat.py:1395–1399

(self)

        assert isinstance(length._ast, StrLenNode)

    def test_contains(self):
        s = String("s")
        t = StringVal("abc")
        c = Contains(s, t)
        assert isinstance(c._ast, StrContainsNode)

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