search

vacp2p / staking-reward-streamer

MIT License
0 stars 0 forks source link

chore(certora): add `accountMPGreaterEqualsAccountBalance` invariant #47

Closed 0x-r4bbit closed 1 month ago

0x-r4bbit commented 1 month ago

Closes #26

Checklist

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

0x-r4bbit commented 1 month ago

Friendly ping @gravityblast