search

logos-co / staking

SNT Staking contracts
Creative Commons Zero v1.0 Universal
0 stars 4 forks source link

"MultiplierPoints can't be greater than maximum Multiplierpoints" invariant does not hold #80

Closed 0x-r4bbit closed 6 months ago

0x-r4bbit commented 6 months ago

This is something I've noticed while updating #58 There are some more rules failing. After spending some time on these already, I've decided to split these apart so we can tackle them in smaller chunks.

This issue is about ensuring MP will never exceed max MP.

0x-r4bbit commented 6 months ago

Here's a job that shows the damage https://prover.certora.com/output/6199/52ae8cc64fd64a6d99b1d2533d9305d8?anonymousKey=a027e4bef0b42715c41ffe47097909c6678e162b

0x-r4bbit commented 6 months ago

Put up a PR that shows the failing state. Goal of this issue is get this green on CI