Method test_loop

tests/test_z3_ported.py:1488–1490

(self)

        assert isinstance(r, ReRef)

    def test_loop(self):
        r = Loop(Re(StringVal("a")), 2, 5)
        assert isinstance(r, ReRef)

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