search

vacp2p / staking-reward-streamer

MIT License
0 stars 0 forks source link

chore(certora): add `sumOfBalancesIsTotalStaked` invariant #42

Closed 0x-r4bbit closed 1 month ago

0x-r4bbit commented 1 month ago

Closes #24

Checklist

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