Method test_string_length

tests/test_z3_ported.py:1397–1400

(self)

        assert isinstance(c._ast, StrConcatNode)

    def test_string_length(self):
        s = String("s")
        length = Length(s)
        assert is_int(length)

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