In the function refinance we are updating the poolBalance with -= debt twice.
The first time we are doing this is in the middle of the function, the second time is at the end of the function. They are both essentially doing the same thing, so we are deducting debt out of the poolBalance twice instead of once.
Accounting error and possible loss of funds.
Manual review
Remove one of them from the code.
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.