Method test_at

tests/test_z3_ported.py:4314–4317

(self)

        assert isinstance(result, StringRef)

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

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