Liquidated users will still have holdings on their dsc even after being liquidated . Cause liquidate function does not actually burn the user's dsc . Instead , it burns dsc from the liquidators .
In case of a full liquidation of an user whom health factor is broken , a liquidator will pay the whole amount of dsc being liquidated . liquidate function will send the liquidator his collateral+ bonus and burn his dsc's . After being fully liquidated an user should not hold any dsc's anymore , but _burnDsc function which is called from liquidate only reduce the user's s_DSCMinted mapping . In this scenario a fully liquidated user will still have his holding on dsc which is not a preferred situation .
here's the _burnDsc function :
User will have full holding on their dsc even after being liquidated .
Manual review
Consider the liquidation logic again
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.