Method test_last_index_of

tests/test_z3_ported.py:4298–4302

(self)

class TestStringRegexExtras:
    def test_last_index_of(self):
        s = String("s")
        t = String("t")
        result = LastIndexOf(s, t)
        assert isinstance(result, ArithRef)

    def test_str_to_code(self):
        s = StringVal("a")