In the LendingPool contract, there is an error type called HealthFactorTooLow. This error is triggered in the LendingPool::initiateLiquidation function when healthFactor >= healthFactorLiquidationThreshold (+), which is misleading and does not reflect the situation.
In the LendingPool::initiateLiquidation function, the error message does not correspond to the actual condition being checked.
This can lead to user confusion.
Manual review
Change the error message from HealthFactorTooLow to HealthFactorMoreThanThreshold.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.