Enigmadark invariant suite#9

Open

vnmrtz wants to merge 19 commits intomasterfrom

enigmadark-invariant-suite

Commits on Dec 23, 2024

chore: setup and coverage
vnmrtz
committed

Commits on Dec 26, 2024

chore: add roundtrip handler and nav invariants
vnmrtz
committed

Commits on Dec 27, 2024

fix: set initial suite deposits
vnmrtz
committed

Commits on Dec 30, 2024

chore: add reserves postconditions
vnmrtz
committed

Commits on Jan 16, 2025

Commits on Mar 12, 2025

Commits on Mar 24, 2025

chore: add new global invariants
vnmrtz
committed

Commits on Mar 27, 2025

chore: add improvements and replays
vnmrtz
committed

Commits on Mar 28, 2025

chore: add non-revert assertions
vnmrtz
committed

Commits on Mar 31, 2025