chore(certora): add sumOfBalancesIsTotalStaked
invariant
#9
Job | Run time |
---|---|
2s | |
2s |
sumOfBalancesIsTotalStaked
invariant
#9
Job | Run time |
---|---|
2s | |
2s |