Method test_plus

tests/test_z3_compat.py:1472–1474

(self)

        assert isinstance(r._ast, ReStarNode)

    def test_plus(self):
        r = Plus(Re(StringVal("a")))
        assert isinstance(r, ExprRef)

    def test_option(self):
        r = Option(Re(StringVal("a")))