[Certora] Prove that take has no new reverts due to continuous fees#998
Open
jhoenicke wants to merge 1 commit into
Open
[Certora] Prove that take has no new reverts due to continuous fees#998jhoenicke wants to merge 1 commit into
jhoenicke wants to merge 1 commit into
