Skip to content

fix(certora): cheapen CreatedMarkets max LIF invariant#1002

Merged
MathisGD merged 2 commits into
modular-liffrom
hermes/fix-createdmarkets-max-lif-992
Jun 22, 2026
Merged

fix(certora): cheapen CreatedMarkets max LIF invariant#1002
MathisGD merged 2 commits into
modular-liffrom
hermes/fix-createdmarkets-max-lif-992

Commits

Commits on Jun 21, 2026

Commits on Jun 22, 2026