The redeemCollateralForDsc function calls the _revertIfHealthFactorIsBroken function twice, this is redundant and wastes gas.
Use the _burnDsc instead of the burnDsc function inside the redeemCollateralForDsc function to skip the first call of _revertIfHealthFactorIsBroken and save gas.
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.