The checks if (_amount <= 0) in the burn and mint function of the DecentralizedStableCoin, as well as the DecentralizedStableCoin__MustBeMoreThanZero error used by them, are redundant. The reason for this is that the conditions are already checked inside DSCEngine before calling the functions, and the DSCEngine is the only one allowed to call these functions.
Also a == operator would be more appropriate than a <= operator as uints are not able to be smaller than zero.
Remove the redundant checks to 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.