Submission Details
Severity:
Redundant check in `DSCEngine::burnDsc`
Summary
File: src/DSCEngine.sol
212: function burnDsc(uint256 amount) public moreThanZero(amount) {
213: _burnDsc(amount, msg.sender, msg.sender);
214: _revertIfHealthFactorIsBroken(msg.sender); // I don't think this would ever hit...
215: }
_revertIfHealthFactorIsBroken(msg.sender) is redundant as burning DSC will never break the healthFactor
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
23664 USDC / LOC
14,000 USDC
1,000 USDC
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.