Method test_substring

tests/test_z3_ported.py:1417–1420

(self)

        assert isinstance(r, StringRef)

    def test_substring(self):
        s = String("s")
        sub = SubString(s, 1, 3)
        assert isinstance(sub, StringRef)

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