Prathamesh Musale
213c390c37
Some checks failed
Integration Tests / test-integration (push) Successful in 2m48s
E2E Tests / test-e2e (push) Successful in 4m56s
Lint / Run golangci-lint (push) Successful in 5m6s
Unit Tests / test-unit (push) Successful in 3m22s
SDK Tests / sdk_tests_nameservice_expiry (push) Successful in 10m40s
SDK Tests / sdk_tests (push) Successful in 10m55s
SDK Tests / sdk_tests_auctions (push) Failing after 16m7s
Part of https://www.notion.so/Rename-laconic2d-to-laconicd-9028d0c020d24d1288e92ebcb773d7a7 Co-authored-by: neeraj <neeraj.rtly@gmail.com> Reviewed-on: cerc-io/laconic2d#26 Co-authored-by: Prathamesh Musale <prathamesh@noreply.git.vdb.to> Co-committed-by: Prathamesh Musale <prathamesh@noreply.git.vdb.to>
38 lines
1.0 KiB
Go
38 lines
1.0 KiB
Go
package keeper
|
|
|
|
import (
|
|
"fmt"
|
|
|
|
sdk "github.com/cosmos/cosmos-sdk/types"
|
|
|
|
types "git.vdb.to/cerc-io/laconicd/x/bond"
|
|
)
|
|
|
|
// RegisterInvariants registers all bond invariants
|
|
func RegisterInvariants(ir sdk.InvariantRegistry, k *Keeper) {
|
|
ir.RegisterRoute(types.ModuleName, "module-account", ModuleAccountInvariant(k))
|
|
}
|
|
|
|
// AllInvariants runs all invariants of the bond module.
|
|
func AllInvariants(k *Keeper) sdk.Invariant {
|
|
return func(ctx sdk.Context) (string, bool) {
|
|
return ModuleAccountInvariant(k)(ctx)
|
|
}
|
|
}
|
|
|
|
// ModuleAccountInvariant checks that the 'bond' module account balance is non-negative.
|
|
func ModuleAccountInvariant(k *Keeper) sdk.Invariant {
|
|
return func(ctx sdk.Context) (string, bool) {
|
|
moduleAddress := k.accountKeeper.GetModuleAddress(types.ModuleName)
|
|
if k.bankKeeper.GetAllBalances(ctx, moduleAddress).IsAnyNegative() {
|
|
return sdk.FormatInvariant(
|
|
types.ModuleName,
|
|
"module-account",
|
|
fmt.Sprintf("Module account '%s' has negative balance.", types.ModuleName),
|
|
), true
|
|
}
|
|
|
|
return "", false
|
|
}
|
|
}
|