Method test_at_int_literal

tests/test_z3_ported.py:4319–4322

(self)

        assert isinstance(result, StringRef)

    def test_at_int_literal(self):
        s = String("s")
        result = At(s, 0)
        assert isinstance(result, StringRef)

    def test_diff(self):
        r1 = Re(StringVal("abc"))