chore(StakeManager.spec): add certora invariants for multiplierPoints

logos-co / staking

SNT Staking contracts

Creative Commons Zero v1.0 Universal

0 stars 4 forks source link

Closed 0x-r4bbit closed 6 months ago

0x-r4bbit commented 6 months ago

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

0x-r4bbit commented 6 months ago

Will be closed in favour of #81 #82 #85 #86