chore(certora): add sumOfBalancesIsTotalStaked
invariant
#133
Job | Run time |
---|---|
13s | |
13s |
sumOfBalancesIsTotalStaked
invariant
#133
Job | Run time |
---|---|
13s | |
13s |