Globally change maxRuleApplications?

[astahfrom]

Is it possible to globally change maxRuleApplications to something less than 200?
As it is, my editor becomes a bit too slow while waiting for unsuccessful aesop calls.

I suspect that all my successful calls succeed in less than 200 applications (can I confirm this?).

[JLimperg]

Fair question. At the moment, your only choice is to write a wrapper macro that calls Aesop with specific options. But I think it would make sense to use the Lean options framework for this, i.e. set_option aesop.maxRuleApplications 50 I already use this style for some options, might as well use it consistently. Jun 2, 2022 10:28:14 Asta H. From ***@***.***>:

…

Is it possible to globally change *maxRuleApplications* to something less than 200? As it is, my editor becomes a bit too slow while waiting for unsuccessful aesop calls. I suspect that all my successful calls succeed in less than 200 applications (can I confirm this?). — Reply to this email directly, view it on GitHub[#11], or unsubscribe[https://github.com/notifications/unsubscribe-auth/AAEBE5UAUDJKJMFXKNROTJLVNCEDZANCNFSM5XUQFWHQ]. You are receiving this because you are subscribed to this thread.[Tracking image][https://github.com/notifications/beacon/AAEBE5QZMJBEJKQJQJFH5OLVNCEDZA5CNFSM5XUQFWH2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4SX3PMOA.gif]