You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix reorder arguments when a function is overridden with diff param names#2611
Merged
montyly merged 2 commits intodevcrytic/slither:devfrom dev-fix-override-reordercrytic/slither:dev-fix-override-reorderCopy head branch name to clipboardDec 4, 2024
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}