Skip to content

Latest commit

 

History

History
7 lines (6 loc) · 1.48 KB

hub_invariants.md

File metadata and controls

7 lines (6 loc) · 1.48 KB
Raw

Tests handle

No Scenario Pre-condition Pre-condition check Expected result Expected result check Covered By
1 eibc invariants
  • At least x amount of eIBC are finalized
  • at least x amount of eIBC are pending
  • at least one epoch has passed since first eIBC message (for rollapp packet deletion. Epoch by default in that case is 1hr)
✅ run crisis for the eibc module and pass successfully ✅ TestEIBCInvariant_EVM TestEIBCInvariant_Wasm
2 rollapp invariants
  • At least 2 rollapps are registered
  • at least 1 is an evm rollapp
  • at least 2 grace periods has passed
  • a few states are in pending mode currently
✅ run crisis for the rollapp invariant and pass successfully ✅ TestRollappInvariant_EVM TestEIBCInvariant_Wasm
3 sequencer invariants
  • multiple sequencers registered per rollapp
  • a few bonded, one unbonding and one bonded
✅ run crisis for the sequencer invariant and pass successfully ✅ TestSequencerInvariant_EVM TestSequencerInvariant_Wasm