Repository navigation

[Certora] SettlementFeeSpread: Fix flakiness by replacing non-linear reasoning by axioms - #1237

Merged

QGarchery merged 2 commits into

mainfrom

certora-settlementfeeaxiomatic

Oct 21, 2026

Merged

[Certora] SettlementFeeSpread: Fix flakiness by replacing non-linear reasoning by axioms#1237
QGarchery merged 2 commits into
mainfrom
certora-settlementfeeaxiomatic

Commits on Oct 20, 2026
- Replace non-linear reasoning by axioms
  jochencertora
  committed
  cdd6a07
- linting
  jochencertora
  committed
  4cc7900