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

Alex/avs slashing tests #1134

Closed

Conversation

wadealexc
Copy link
Collaborator

@wadealexc wadealexc commented Feb 19, 2025

Motivation:

Improve slashing invariants, fix existing DM/ALM invariants, and refactor user generation logic

Modifications:

  • Improve IntegrationDeployer._randUser generation logic so that additional helpers can be implemented to generate users with specific assets
  • Update some withdrawal invariants to distinguish between deposit and withdrawable shares. More work to be done here.
  • Implement several new tests in SlashingWithdrawals

Followup:

  • Additional cleanup for queue/complete withdrawal invariants and calling conventions
  • Additional tests needed in SlashingWithdrawals
  • Additional staker-level invariants needed when slashing an operator

@wadealexc wadealexc force-pushed the alex/avs-slashing-tests branch from 7e0ac4b to 209a5e8 Compare February 20, 2025 20:41
@wadealexc wadealexc changed the base branch from slashing-magnitudes-fixes to test/slashing-integration-testing February 20, 2025 20:42
@wadealexc
Copy link
Collaborator Author

Closing in favor of #1149

@wadealexc wadealexc closed this Feb 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant