Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Certora] Reformat AllowanceInvairant #248

Closed
colin-morpho opened this issue Feb 14, 2025 · 0 comments · Fixed by #249
Closed

[Certora] Reformat AllowanceInvairant #248

colin-morpho opened this issue Feb 14, 2025 · 0 comments · Fixed by #249
Assignees
@colin-morpho
Labels
verif Fromal verification with Certora

Comments

@colin-morpho
Copy link
Contributor 

          ```suggestion
   f -> f.selector != sig:ParaswapAdapter.buy(address, bytes ,address, address, uint256, ParaswapAdapter.Offsets, address).selector &&
   f.selector != sig:ParaswapAdapter.buyMorphoDebt(address, bytes , address, ParaswapAdapter.MarketParams, ParaswapAdapter.Offsets, address, address).selector &&
   f.selector != sig:ParaswapAdapter.sell(address, bytes, address, address, bool, ParaswapAdapter.Offsets, address).selector

not a big deal, but wondering why this change (3 spaces instead of 2)

_Originally posted by @QGarchery in https://github.com/morpho-org/bundler3/pull/244#discussion_r1950556327_
@colin-morpho colin-morpho self-assigned this Feb 14, 2025
@colin-morpho colin-morpho added the verif Fromal verification with Certora label Feb 14, 2025
@colin-morpho colin-morpho changed the title [Certora] Reformat Paraswap adapter [Certora] Reformat AllowanceInvairant Feb 14, 2025
@colin-morpho colin-morpho mentioned this issue Feb 14, 2025
Merged
@colin-morpho colin-morpho linked a pull request Feb 14, 2025 that will close this issue
[Certora] Formatting #249
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@colin-morpho colin-morpho

Labels
verif Fromal verification with Certora
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[Certora] Formatting morpho-org/bundler3
1 participant
@colin-morpho