Skip to content

Commit

Permalink
test: slash invariants (#1083)
Browse files Browse the repository at this point in the history 
**Motivation:**

Improve slashing invariants in integration tests

**Modifications:**

Adds `check_Base_Slashing_State`, and implements several checks used
within

**Result:**

Slashing invariants check all manner of state changes in the ALM and
delegation.

---------

Co-authored-by: Michael <michael@Michaels-MacBook-Pro.local>
  • Loading branch information
@wadealexc @ypatil12
2 people authored and ypatil12 committed Feb 20, 2025
1 parent 5739428 commit 832820e
Show file tree
Hide file tree
Showing 5 changed files with 436 additions and 46 deletions.
Loading

0 comments on commit 832820e

Please sign in to comment.