We've introduced a rule that finds counter examples for all functions that changes balances. This rule will always fail by definition, so we're commenting it out to get CI green again.
Checklist
Ensure you completed all of the steps below before submitting your pull request:
We've introduced a rule that finds counter examples for all functions that changes balances. This rule will always fail by definition, so we're commenting it out to get CI green again.
Checklist
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot?pnpm gas-report?pnpm lint?forge test?pnpm verify?