Method test_contains

tests/test_z3_ported.py:1402–1405

(self)

        assert is_int(length)

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

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