Skip to content

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

Open
jhoenicke wants to merge 1 commit into
mainfrom
certora-norevertsintakeduetocontinuousfee
Open

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

Prove that take has no new reverts due to continous fees

659c267
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar