search

logos-co / staking

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

chore(StakeManager.spec): add two more MP related invariants #82

Closed 0x-r4bbit closed 6 months ago

0x-r4bbit commented 6 months ago

This adds two more invariants about multiplier points:

  1. Initial multiplier points can never be less than an account's balance
  2. Current multiplier points can never be less than initial MP

Checklist

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