Method test_loop

tests/test_z3_compat.py:1500–1502

(self)

        assert isinstance(r, ExprRef)

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

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