chore(StakeManager.spec): add invariant `sumOfMultiplierPoints`

logos-co / staking

SNT Staking contracts

Creative Commons Zero v1.0 Universal

0 stars 4 forks source link

Closed 0x-r4bbit closed 7 months ago

0x-r4bbit commented 8 months ago

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

0x-r4bbit commented 7 months ago

I'm going to hold back merging this one until we have CI green again for formal verification. Otherwise things like https://github.com/logos-co/staking/pull/54#issuecomment-1976040945 will slip through the cracks.

0x-r4bbit commented 7 months ago

This one can be closed as it turns out to be obsolete.