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

test(certora): Karma.totalDistributorAllocation can only increase #166

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

test(certora): Karma.totalDistributorAllocation can only increase #166

wants to merge 1 commit into from

Conversation

gravityblast
Copy link
Member

Description

Ensure totalDistributorAllocation can only increase

Checklist

Ensure you completed all of the steps below before submitting your pull request:

  • Added natspec comments?
  • Ran pnpm adorno?
  • Ran pnpm verify?

@gravityblast gravityblast requested a review from 0x-r4bbit March 6, 2025 15:08
@gravityblast gravityblast force-pushed the certora-total-allocation branch from 6943d6e to d09c468 Compare March 6, 2025 15:08
@0x-r4bbit
Copy link
Collaborator

Interestingly, some rules are failing for this one.

@gravityblast
Copy link
Member Author

@0x-r4bbit yes it's failing on this rule when upgradeToAndCall is called

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@0x-r4bbit 0x-r4bbit 0x-r4bbit approved these changes

Assignees
No one assigned
Labels
None yet
Projects
Tasks - Smart Contracts
Status: Ready to Merge
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gravityblast @0x-r4bbit