Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore!: tweak x/gov ModuleAccountInvariant #11998

Merged
merged 5 commits into from
May 20, 2022
Merged

chore!: tweak x/gov ModuleAccountInvariant #11998

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b1a13ce
updates
alexanderbez May 19, 2022
cf2b251
Merge branch 'main' into bez/gov-inv-tweak
alexanderbez May 19, 2022
5c58094
Merge branch 'main' into bez/gov-inv-tweak
atheeshp May 20, 2022
45947eb
updates
alexanderbez May 20, 2022
6d14b1e
Merge branch 'main' into bez/gov-inv-tweak
alexanderbez May 20, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
6 changes: 5 additions & 1 deletion x/gov/keeper/invariants.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,11 @@ func ModuleAccountInvariant(keeper Keeper, bk types.BankKeeper) sdk.Invariant {

macc := keeper.GetGovernanceAccount(ctx)
balances := bk.GetAllBalances(ctx, macc.GetAddress())
broken := !balances.IsEqual(expectedDeposits)

// Require that the deposit balances are <= than the x/gov module's total
// balances. We use the <= operator since external funds can be sent to x/gov
// module's account and so the balance can be larger.
broken := !balances.IsAllGTE(expectedDeposits)

return sdk.FormatInvariant(types.ModuleName, "deposits",
fmt.Sprintf("\tgov ModuleAccount coins: %s\n\tsum of deposit amounts: %s\n",
Expand Down