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.

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

test: enable the simulator for the provider module #2005

Merged
merged 33 commits into from
Jul 15, 2024

Conversation

p-offtermatt
Copy link
Contributor

@p-offtermatt p-offtermatt commented Jul 3, 2024

Description

Closes: Part of inactive validators #1913

The simulator integration is very basic for now.
I just wanted it to test for panics and basic discrepancies with the inactive validators feature.

Note that this does not seriously check any of the CCV functionality; that functionality relies on IBC and multiple chains, which are not supported in the simulator.

You can run make sim-full to check out the simulator locally.


Author Checklist

All items are required. Please add a note to the item if the item is not applicable and
please add links to any relevant follow up issues.

I have...

  • Included the correct type prefix in the PR title
  • Targeted the correct branch (see PR Targeting)
  • Provided a link to the relevant issue or specification
  • Reviewed "Files changed" and left comments if necessary
  • Confirmed all CI checks have passed

Reviewers Checklist

All items are required. Please add a note if the item is not applicable and please add
your handle next to the items reviewed if you only reviewed selected items.

I have...

  • Confirmed the correct type prefix in the PR title
  • Confirmed all author checklist items have been addressed
  • Confirmed that this PR does not change production code

Summary by CodeRabbit

  • New Features

    • Introduced GitHub Actions workflow to run simulation tests on specific branches.
    • Added full simulation testing functionality for the application provider module.
  • Refactor

    • Refactored logic related to bankBlockedAddrs into a new function.
    • Adjusted invariant registration and GenesisState generation in the provider module.
  • Bug Fixes

    • Removed unnecessary reward checks for validators in E2E tests.
  • Tests

    • Added simulation tests to validate application behavior and ensure stability.

@p-offtermatt p-offtermatt requested a review from a team as a code owner July 3, 2024 09:17
@github-actions github-actions bot added C:Testing Assigned automatically by the PR labeler C:x/consumer Assigned automatically by the PR labeler C:x/provider Assigned automatically by the PR labeler C:x/types Assigned automatically by the PR labeler C:Build Assigned automatically by the PR labeler C:CI Assigned automatically by the PR labeler C:x/democracy Assigned automatically by the PR labeler labels Jul 3, 2024
Copy link
Contributor

coderabbitai bot commented Jul 3, 2024

Walkthrough

Walkthrough

The changes introduce a new GitHub Actions workflow for running simulation tests, add new simulation-related functionalities in the Makefile and various Go files, and modify existing validation reward logic in the end-to-end tests. These updates enable comprehensive simulation testing for application providers in a Cosmos SDK environment.

Changes

File Summary
.github/workflows/simulation.yml Added a workflow for running simulation tests on specific branches using GitHub Actions.
Makefile Added a new target sim-full to run full simulation tests for the application provider module.
app/provider/app.go Refactored bankBlockedAddrs logic, introduced deterministic simulations, and registered store decoders.
app/provider/sim_test.go Introduced test functions for full application simulation scenarios using Cosmos SDK.
tests/e2e/steps_inactive_vals.go Removed validator reward checks for alice and bob in the ChainID("provi") section.
x/ccv/provider/keeper/invariants.go Added functions to register and check invariants related to provider consensus validators.
x/ccv/provider/module.go Modified RegisterInvariants method and added randomized GenesisState generation in GenerateGenesisState method.
x/ccv/provider/simulation/genesis.go Introduced functions for generating random GenesisState for a provider module in Cosmos SDK applications.

Sequence Diagram(s)

sequenceDiagram
    autonumber
    actor Developer
    participant GitHubActions
    participant GoEnvironment
    participant SimulationTests
    
    Developer->>GitHubActions: Push code changes to branch
    GitHubActions->>GitHubActions: Trigger Simulation Workflow
    GitHubActions->>GoEnvironment: Setup Go version 1.22
    GitHubActions->>GitHubActions: Checkout code
    GitHubActions->>GoEnvironment: Cache dependencies
    GitHubActions->>SimulationTests: Run `make sim-full`
    SimulationTests-->>GitHubActions: Simulation test results
    GitHubActions-->>Developer: Display results
Loading

Recent review details

Configuration used: .coderabbit.yml
Review profile: CHILL

Commits

Files that changed from the base of the PR and between 10866bd and 22de291.

Files selected for processing (1)
  • app/provider/sim_test.go (1 hunks)
Additional context used
Path-based instructions (1)
app/provider/sim_test.go (2)

Pattern **/*.go: Review the Golang code for conformity with the Uber Golang style guide, highlighting any deviations.


Pattern **/*_test.go: "Assess the unit test code assessing sufficient code coverage for the changes associated in the pull request"

Additional comments not posted (5)
app/provider/sim_test.go (5)

3-20: Imports look good.

The imported packages are appropriate for the functionality provided in the file.


22-24: Init function looks good.

The init function ensures that simulator flags are initialized.


26-30: Function interBlockCacheOpt looks good.

The function correctly returns a BaseApp option to set the inter-block cache.


32-36: Function fauxMerkleModeOpt looks good.

The function correctly sets the FauxMerkleMode for faster simulation.


38-84: Function TestFullAppSimulation looks good with a minor improvement.

The function is comprehensive and includes setup, simulation, and cleanup steps. However, handle potential errors in deferred functions as suggested in the existing comment.


Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?

Share
Tips

Chat

There are 3 ways to chat with CodeRabbit:

  • Review comments: Directly reply to a review comment made by CodeRabbit. Example:
    • I pushed a fix in commit <commit_id>.
    • Generate unit testing code for this file.
    • Open a follow-up GitHub issue for this discussion.
  • Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query. Examples:
    • @coderabbitai generate unit testing code for this file.
    • @coderabbitai modularize this function.
  • PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
    • @coderabbitai generate interesting stats about this repository and render them as a table.
    • @coderabbitai show all the console.log statements in this repository.
    • @coderabbitai read src/utils.ts and generate unit testing code.
    • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.
    • @coderabbitai help me debug CodeRabbit configuration file.

Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments.

CodeRabbit Commands (invoked as PR comments)

  • @coderabbitai pause to pause the reviews on a PR.
  • @coderabbitai resume to resume the paused reviews.
  • @coderabbitai review to trigger an incremental review. This is useful when automatic reviews are disabled for the repository.
  • @coderabbitai full review to do a full review from scratch and review all the files again.
  • @coderabbitai summary to regenerate the summary of the PR.
  • @coderabbitai resolve resolve all the CodeRabbit review comments.
  • @coderabbitai configuration to show the current CodeRabbit configuration for the repository.
  • @coderabbitai help to get help.

Additionally, you can add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.

CodeRabbit Configration File (.coderabbit.yaml)

  • You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
  • Please see the configuration documentation for more information.
  • If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Documentation and Community

  • Visit our Documentation for detailed information on how to use CodeRabbit.
  • Join our Discord Community to get help, request features, and share feedback.
  • Follow us on X/Twitter for updates and announcements.

@p-offtermatt p-offtermatt changed the base branch from feat/inactive-vals-v50 to ph/inactive-vals-endblocker July 3, 2024 09:18
Copy link
Contributor

@coderabbitai coderabbitai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 9

Outside diff range and nitpick comments (11)
.github/workflows/simulation.yml (1)

1-1: Ensure the workflow name is descriptive.

The name "Simulation" is clear, but consider adding more context if this workflow is specific to certain tests or modules.

x/ccv/no_valupdates_staking/module.go (1)

1-1: Consider renaming the package to avoid conflicts.

The package name staking might conflict with the native staking module. Consider renaming it to something more specific like no_valupdates_staking.

app/provider/sim_test.go (1)

1-1: Consider using a more descriptive package name.

The package name app_test is generic. Consider using a more descriptive name that reflects the purpose of the tests, such as provider_simulation_test.

proto/interchain_security/ccv/provider/v1/genesis.proto (1)

52-53: Ensure the new field is documented.

The new field last_provider_consensus_validators should be documented to explain its purpose and usage.

// last_provider_consensus_validators defines the last provider consensus validators.
repeated ConsensusValidator last_provider_consensus_validators = 14
    [ (gogoproto.nullable) = false ];
app/sovereign/export.go (1)

Line range hint 14-161: Consider handling errors more gracefully instead of using panic.

Using panic for error handling can cause the application to crash. Consider handling errors more gracefully and providing meaningful error messages.

- if err != nil {
-   panic(err)
- }
+ if err != nil {
+   log.Fatalf("Error: %v", err)
+ }
proto/interchain_security/ccv/provider/v1/provider.proto (1)

255-257: Add documentation for the new parameter.

The new parameter max_provider_consensus_validators should have clear documentation explaining its purpose and usage.

+  // The maximal number of validators that will be passed
+  // to the consensus engine on the provider.
  int64 max_provider_consensus_validators = 11;
tests/e2e/steps_inactive_vals.go (3)

1-1: Ensure package name consistency.

The package name main is generally reserved for the entry point of an application. Consider using a more descriptive package name for test files.


10-19: Improve function documentation.

The function documentation is clear but can be improved by specifying the expected outcomes for each step in the test.


83-113: Clarify power calculation logic.

The comment about Carol needing more than 2/3rds of power is correct but could be expanded to explain the specific calculation used to determine the amount staked.

tests/e2e/main.go (2)

Line range hint 22-22: Consider adding default values for flags.

Adding default values for flags can help avoid potential issues when the flags are not set by the user.


Line range hint 164-196: Improve error messages for missing test cases.

The function logs fatal errors when test cases are not found. Consider improving the error messages to provide more context and guidance for the user.

Comment on lines +48 to +51
defer func() {
require.NoError(t, db.Close())
require.NoError(t, os.RemoveAll(dir))
}()
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Handle potential errors in deferred functions.

The deferred functions should handle potential errors from db.Close() and os.RemoveAll(dir) to ensure proper resource cleanup.

defer func() {
  if err := db.Close(); err != nil {
    t.Errorf("failed to close database: %v", err)
  }
  if err := os.RemoveAll(dir); err != nil {
    t.Errorf("failed to remove directory: %v", err)
  }
}()
Committable suggestion

‼️ IMPORTANT
Carefully review the code before committing. Ensure that it accurately replaces the highlighted code, contains no missing lines, and has no issues with indentation. Thoroughly test & benchmark the code to ensure it meets the requirements.

Suggested change
defer func() {
require.NoError(t, db.Close())
require.NoError(t, os.RemoveAll(dir))
}()
defer func() {
if err := db.Close(); err != nil {
t.Errorf("failed to close database: %v", err)
}
if err := os.RemoveAll(dir); err != nil {
t.Errorf("failed to remove directory: %v", err)
}
}()

Copy link
Contributor

@coderabbitai coderabbitai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 0

Outside diff range and nitpick comments (2)
.github/workflows/simulation.yml (2)

1-1: Add a description for the workflow.

Consider adding a description field under the name to provide more context about the workflow's purpose.


2-10: Specify event types for better control.

While pull_request and push events are specified, it is a good practice to define specific event types (e.g., pull_request: [opened, synchronize]) to avoid unnecessary workflow runs.

Copy link
Contributor

@MSalopek MSalopek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great work! LGTM!

I hope we simulate provider operations in the future.

@p-offtermatt
Copy link
Contributor Author

Great work! LGTM!

I hope we simulate provider operations in the future.

:thumbs-up: Agreed. I want to keep the scope of this PR small, since this is just focussed on helping test the inactive validators feature, but in general I agree.

@p-offtermatt p-offtermatt changed the base branch from ph/inactive-vals-endblocker to feat/inactive-vals-v50 July 15, 2024 12:05
@p-offtermatt p-offtermatt changed the base branch from feat/inactive-vals-v50 to ph/inactive-vals-endblocker July 15, 2024 12:06
Base automatically changed from ph/inactive-vals-endblocker to feat/inactive-vals-v50 July 15, 2024 12:24
@p-offtermatt p-offtermatt merged commit d2ee22b into feat/inactive-vals-v50 Jul 15, 2024
14 of 17 checks passed
@p-offtermatt p-offtermatt deleted the ph/simulator branch July 15, 2024 14:32
p-offtermatt added a commit that referenced this pull request Jul 22, 2024
* Refactor validator set storage

* Add comment for getTotalPower

* Add provider consensus validator set storage

* Add new MaxProviderConsensusValidators param

* Add validation for MaxProviderConsensusValidators

* Add no_valupdates_staking module

* Add function to get MaxProviderConsensusValidators param

* Start returning validators in EndBlock

* Fix tests

* Revert cosmetic change

* Revert cosmetic changes

* Revert formatting

* Add genutil replacer module

* Revert formatting

* Revert formatting in tests/integration

* Revert minor formatting

* Fix type

* Change wrapped staking to conform to EndBlocker interface

* Fix typo

* Revert "Fix typo"

This reverts commit 62dfd1e.

* Add e2e test for inactive vals

* Start fixing e2e test

* Revert formatting changes

* Remove more formatting

* Revert extra formatting

* Re-wire provider/app.go to use wrapped modules

* Remove consumer rewards check

* Add simulator test

* Add randomly generated parameters for provider in sim

* Add invariant

* Add simulation to Makefile and github workflow

* Use simcli instead of just passing true
github-merge-queue bot pushed a commit that referenced this pull request Aug 6, 2024
…er chains (#2079)

* refactor!: Refactor the validator set storage and add provider consensus validator storage (#1990)

* Refactor validator set storage

* Add comment for getTotalPower

* Add provider consensus validator set storage

* Add key to key test

* Add unit test for LastTotalProviderConsensusPower

* Address comments

* feat!: Introduce the MaxProviderConsensusValidators param (#1992)

* Refactor validator set storage

* Add comment for getTotalPower

* Add provider consensus validator set storage

* Add new MaxProviderConsensusValidators param

* Add validation for MaxProviderConsensusValidators

* Add function to get MaxProviderConsensusValidators param

* refactor!: Refactor the validator set storage and add provider consensus validator storage (#1990)

* Refactor validator set storage

* Add comment for getTotalPower

* Add provider consensus validator set storage

* Add key to key test

* Add unit test for LastTotalProviderConsensusPower

* Address comments

* feat!: Wire the provider module to return ValidatorUpdates, instead of the staking module (#1993)

* Refactor validator set storage

* Add comment for getTotalPower

* Add provider consensus validator set storage

* Add new MaxProviderConsensusValidators param

* Add validation for MaxProviderConsensusValidators

* Add no_valupdates_staking module

* Add function to get MaxProviderConsensusValidators param

* Start returning validators in EndBlock

* Fix tests

* Revert cosmetic change

* Revert cosmetic changes

* Revert formatting

* Add genutil replacer module

* Revert formatting

* Revert formatting in tests/integration

* Revert minor formatting

* Fix type

* Change wrapped staking to conform to EndBlocker interface

* Fix typo

* Revert "Fix typo"

This reverts commit 62dfd1e.

* Add e2e test for inactive vals

* Start fixing e2e test

* Revert formatting changes

* Remove more formatting

* Revert extra formatting

* Re-wire provider/app.go to use wrapped modules

* Remove consumer rewards check

* Add inactive provider vals testcase to nightly

* Adjust comment

* Address comments

* Fix nightly test name

* feat: Initialize the max validators parameter for existing consumers (#2012)

* Add initialization for validator cap

* Remove migration test

* Fix inconsistent naming

* test: enable the simulator for the provider module (#2005)

* Refactor validator set storage

* Add comment for getTotalPower

* Add provider consensus validator set storage

* Add new MaxProviderConsensusValidators param

* Add validation for MaxProviderConsensusValidators

* Add no_valupdates_staking module

* Add function to get MaxProviderConsensusValidators param

* Start returning validators in EndBlock

* Fix tests

* Revert cosmetic change

* Revert cosmetic changes

* Revert formatting

* Add genutil replacer module

* Revert formatting

* Revert formatting in tests/integration

* Revert minor formatting

* Fix type

* Change wrapped staking to conform to EndBlocker interface

* Fix typo

* Revert "Fix typo"

This reverts commit 62dfd1e.

* Add e2e test for inactive vals

* Start fixing e2e test

* Revert formatting changes

* Remove more formatting

* Revert extra formatting

* Re-wire provider/app.go to use wrapped modules

* Remove consumer rewards check

* Add simulator test

* Add randomly generated parameters for provider in sim

* Add invariant

* Add simulation to Makefile and github workflow

* Use simcli instead of just passing true

* feat!: Let consumer chains choose a minimum stake and validator rank (#2035)

* Add minimum stake key

* Add MinValidatorRank prefix

* Add keeper and tests for new parameters

* Utilize MinStake and MaxRank parameters in computing next validators

* Mention MinStake and MaxRank in adr

* Add test for FulfillsMinStake

* Handle multiple validators with same power

* Add min stake and max rank to docs

* Add minStake and maxRank to proposals

* Check for untyped equality

* Handle minStake and maxRank in Msgs

* Add integration test for min stake and max rank

* Rename test and testfile

* Update docs/docs/adrs/adr-017-allowing-inactive-validators.md

* Add changelog entries for maxrank and minstake

* Address comments

* Clarify which feature is disabled by setting maxrank

* Test validator powers cap and validator set cap into int param testing function

* feat!: Rewire dependencies on the staking module (#2056)

* Change wiring for mint and gov to use ProviderKeeper instead of StakingKeeper

* Add test for IterateBondedValidatorsByPower

* Rewire GovKeeper

* Fix docstrings

* Test other modified functions

* Start writing some testing scenarios

* Add TotalBondedTokens to expected staking keeper interface

* feat: Calculate Top N based on active validators only (#2070)

* Add test for inactive vals with top N

* Add test case to predefined tests

* Fix bonded/active validator distinction

* Fix relay test to set max provider consensus vals correctly

* feat!: Add a parameter that determines whether consumer chains allow inactive validators to validate them (#2066)

* Introduce new AllowInactiveValidators param for consumer chains

* Add AllowInactiveValidators param to tests

* Set MaxProviderConsensusValidators in tests

* Add migration to initialize inactive vals

* Add changelog entries for inactive vals param

* Add property-based test for inactive vals

* Add docs for inactive vals param

* Set AllowInactiveVals parameter in e2e test

* test: Add e2e tests for inactive vals (#2064)

* Start adding e2e test for governance

* Debug gov with inactive vals test

* Outline for test scenarios where they are tested

* Add MaxRank steps

* Add e2e tests for min stake and max rank

* Revert formatting change

* Refactor stepsOptIn

* Use adjusted config for e2e tests

* Write for more scenarios where they are tested

* Add test for mint

* Add docstrings for e2e steps

* Delete hanging changelog entry

* Address comments

* Address more comments

* Add migration for param

* Fix allow inactive validators param test

* Fix tests

* Add LastProviderConsensusValidatorKey to fully defined keys

* Fix key for validator set updates

* Add info about genesis/endblock ordering

* Add unit test for ProviderValidatorUpdates

* Add example to proto definition of max_rank

* Remove max rank

* Remove references to max rank

* Start adding an extension to the simulator

* Make invariant fail early when param is 0

* Reorder InitGenesis to put Crisis last

* Remove canary

* Swap equals for not equals

* Disable invariant check when max validators != max provider consensus validators

* Make the simulator use a random seed

* Remove TODO

* Remove decoder

* Run go mod tidy

* Add migration in UPGRADING.md

* Fix tests

* Put random seed generation into golang code

* Rename simulation jobs

* Update UPGRADING.md

Co-authored-by: Marius Poke <[email protected]>

* Update UPGRADING.md

Co-authored-by: Marius Poke <[email protected]>

* Update x/ccv/provider/keeper/genesis.go

Co-authored-by: Marius Poke <[email protected]>

* Mention simulation tests in testing.md

* Address some comments

* Remake protos

* Panic when LastActiveBondedValidators fails

* Address some comments

* Address comments

* Reorder tests

* Adjust stake_multiplier to stakeMultiplier

* Address comments

* Add error logging

* Fix reference to bank blocked addrs in simulation

* Change hasToValidate to only take into account active validators

* Update docs/docs/adrs/adr-017-allowing-inactive-validators.md

Co-authored-by: insumity <[email protected]>

* Clarify: Slash happens on provider

Co-authored-by: insumity <[email protected]>

---------

Co-authored-by: Marius Poke <[email protected]>
Co-authored-by: insumity <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C:Build Assigned automatically by the PR labeler C:CI Assigned automatically by the PR labeler C:Testing Assigned automatically by the PR labeler C:x/consumer Assigned automatically by the PR labeler C:x/democracy Assigned automatically by the PR labeler C:x/provider Assigned automatically by the PR labeler C:x/types Assigned automatically by the PR labeler
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants