Skip to content

Repository navigation

[Certora] Rewrote Solvency spec to account for evil tokens. - #1231

Open
jhoenicke wants to merge 8 commits into
mainfrom
certora-eviltoken
Open

[Certora] Rewrote Solvency spec to account for evil tokens.#1231
jhoenicke wants to merge 8 commits into
mainfrom
certora-eviltoken

Revert equality in tokenBalanceCorrect, explain callback requires

1a0c5f2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar