Skip to content

chore(certora): add sumOfBalancesIsTotalStaked invariant #43

chore(certora): add sumOfBalancesIsTotalStaked invariant

chore(certora): add sumOfBalancesIsTotalStaked invariant #43

test

succeeded Oct 9, 2024 in 21s