The Comments on fixUser
function is misleading as it says that /// invariant, this can only reduce or keep user and total debt the same
but infact the totaldebt will not reduce.
Manual Review
change comments to :
/// invariant , this will reduce user borrowAmount and increase total debt
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.