certusone
/
cosmos-sdk
mirror of https://github.com/certusone/cosmos-sdk.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

pool test correct in AssertInvariance

This commit is contained in:
rigelrozanski 2018-04-02 02:23:34 +02:00
parent bac81838d0
commit 7d67d00866
1 changed files with 27 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

52
x/stake/pool_test.go
View File

@ -295,55 +295,57 @@ func randomOperation(r *rand.Rand) Operation {
// ensure invariants that should always be true are true // ensure invariants that should always be true are true
func assertInvariants(t *testing.T, msg string, func assertInvariants(t *testing.T, msg string,
pA Pool, cA Candidate, pB Pool, cB Candidate, tokens int64) { pOrig Pool, cOrig Candidate, pMod Pool, cMod Candidate, tokens int64) {
// total tokens conserved // total tokens conserved
require.Equal(t, require.Equal(t,
pA.UnbondedPool+pA.BondedPool, pOrig.UnbondedPool+pOrig.BondedPool,
pB.UnbondedPool+pB.BondedPool+tokens, pMod.UnbondedPool+pMod.BondedPool+tokens,
"msg: %v\n, pA.UnbondedPool: %v, pA.BondedPool: %v, pB.UnbondedPool: %v, pB.BondedPool: %v, tokens: %v\n", "msg: %v\n, pOrig.UnbondedPool: %v, pOrig.BondedPool: %v, pMod.UnbondedPool: %v, pMod.BondedPool: %v, tokens: %v\n",
msg, msg,
pA.UnbondedPool, pA.BondedPool, pOrig.UnbondedPool, pOrig.BondedPool,
pB.UnbondedPool, pB.BondedPool, tokens) pMod.UnbondedPool, pMod.BondedPool, tokens)
// nonnegative shares // nonnegative shares
require.False(t, pB.BondedShares.LT(sdk.ZeroRat), "msg: %v\n, pA: %v\n, pB: %v\n, cA: %v\n, cB %v, tokens: %v\n", require.False(t, pMod.BondedShares.LT(sdk.ZeroRat),
msg, pA, pB, cA, cB, tokens) "msg: %v\n, pOrig: %v\n, pMod: %v\n, cOrig: %v\n, cMod %v, tokens: %v\n",
require.False(t, pB.UnbondedShares.LT(sdk.ZeroRat), "msg: %v\n, pA: %v\n, pB: %v\n, cA: %v\n, cB %v, tokens: %v\n", msg, pOrig, pMod, cOrig, cMod, tokens)
msg, pA, pB, cA, cB, tokens) require.False(t, pMod.UnbondedShares.LT(sdk.ZeroRat),
"msg: %v\n, pOrig: %v\n, pMod: %v\n, cOrig: %v\n, cMod %v, tokens: %v\n",
msg, pOrig, pMod, cOrig, cMod, tokens)
// nonnegative ex rates // nonnegative ex rates
require.False(t, pB.bondedShareExRate().LT(sdk.ZeroRat), require.False(t, pMod.bondedShareExRate().LT(sdk.ZeroRat),
"Applying operation \"%s\" resulted in negative bondedShareExRate: %d", "Applying operation \"%s\" resulted in negative bondedShareExRate: %d",
msg, pB.bondedShareExRate().Evaluate()) msg, pMod.bondedShareExRate().Evaluate())
require.False(t, pB.unbondedShareExRate().LT(sdk.ZeroRat), require.False(t, pMod.unbondedShareExRate().LT(sdk.ZeroRat),
"Applying operation \"%s\" resulted in negative unbondedShareExRate: %d", "Applying operation \"%s\" resulted in negative unbondedShareExRate: %d",
msg, pB.unbondedShareExRate().Evaluate()) msg, pMod.unbondedShareExRate().Evaluate())
// nonnegative ex rate // nonnegative ex rate
require.False(t, cA.delegatorShareExRate().LT(sdk.ZeroRat), require.False(t, cMod.delegatorShareExRate().LT(sdk.ZeroRat),
"Applying operation \"%s\" resulted in negative candidate.delegatorShareExRate(): %v (candidate.PubKey: %s)", "Applying operation \"%s\" resulted in negative candidate.delegatorShareExRate(): %v (candidate.PubKey: %s)",
msg, msg,
cA.delegatorShareExRate(), cMod.delegatorShareExRate(),
cA.PubKey, cMod.PubKey,
) )
// nonnegative assets / liabilities // nonnegative assets / liabilities
require.False(t, cA.Assets.LT(sdk.ZeroRat), require.False(t, cMod.Assets.LT(sdk.ZeroRat),
"Applying operation \"%s\" resulted in negative candidate.Assets: %d (candidate.Liabilities: %d, candidate.PubKey: %s)", "Applying operation \"%s\" resulted in negative candidate.Assets: %d (candidate.Liabilities: %d, candidate.PubKey: %s)",
msg, msg,
cA.Assets.Evaluate(), cMod.Assets.Evaluate(),
cA.Liabilities.Evaluate(), cMod.Liabilities.Evaluate(),
cA.PubKey, cMod.PubKey,
) )
require.False(t, cA.Liabilities.LT(sdk.ZeroRat), require.False(t, cMod.Liabilities.LT(sdk.ZeroRat),
"Applying operation \"%s\" resulted in negative candidate.Liabilities: %d (candidate.Assets: %d, candidate.PubKey: %s)", "Applying operation \"%s\" resulted in negative candidate.Liabilities: %d (candidate.Assets: %d, candidate.PubKey: %s)",
msg, msg,
cA.Liabilities.Evaluate(), cMod.Liabilities.Evaluate(),
cA.Assets.Evaluate(), cMod.Assets.Evaluate(),
cA.PubKey, cMod.PubKey,
) )
} }