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