[Certora] Prove that take has no new reverts due to continuous fees - #998

[Certora] Prove that take has no new reverts due to continuous fees#998

jhoenicke wants to merge 7 commits into

mainmorpho-org/midnight:mainfrom

certora-norevertsintakeduetocontinuousfeemorpho-org/midnight:certora-norevertsintakeduetocontinuousfeeCopy head branch name to clipboard