Method test_replace

tests/test_z3_ported.py:1412–1415

(self)

        assert isinstance(SuffixOf(StringVal("suf"), s), ExprRef)

    def test_replace(self):
        s = String("s")
        r = Replace(s, StringVal("old"), StringVal("new"))
        assert isinstance(r, StringRef)

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