feat(invariant): assert all invariants by default (`assert_all`)#12587

Open

grandizzy wants to merge 29 commits intomasterfrom

gdzzy/issue-9727

Commits on Apr 24, 2026

feat(invariant): assert all invariants
grandizzy
committed
Tests and Nits

grandizzy
and
ampcode-com
committed
fix: check all invariants in afterInvariant gate and preflight

grandizzy
and
ampcode-com
committed
fix: use per-invariant fail_on_revert when recording handler revert failures

grandizzy
and
ampcode-com
committed
fix: commit state between txs in generate_counterexample

grandizzy
and
ampcode-com
committed
fix: preflight check all invariants, not just primary

grandizzy
and
ampcode-com
committed
fix: exclude secondary invariants from optimization mode runs

grandizzy
and
ampcode-com
committed
refactor: rename invariant_fn to primary_invariant_fn, deterministic preflight error, debug_assert on empty invariants

grandizzy
and
ampcode-com
committed
feat: show broken invariant count in progress bar during continuous runs

grandizzy
and
ampcode-com
committed

Commits on Apr 27, 2026

Commits on Apr 28, 2026

Commits on Apr 29, 2026

Commits on Apr 30, 2026

Merge branch 'master' into gdzzy/issue-9727
grandizzy
authored