Skip to content

[Certora] liquidate maxRepaid restores health - #1083

Merged
MathisGD merged 23 commits into
mainfrom
claude/certora-max-repaid-healthy
Sep 1, 2026
Merged

[Certora] liquidate maxRepaid restores health#1083
MathisGD merged 23 commits into
mainfrom
claude/certora-max-repaid-healthy

Apply batched suggestions from code review

2c86395
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar