The withdrawFees function in the PuppyRaffle contract contains a strict equality check in a require statement, which may lead to potential issues due to the exactness of the check.
In the withdrawFees function, a strict equality check is used to verify if the balance of the contract (address(this).balance) is equal to the value of totalFees.
The use of strict equality in the require statement may have the following consequence:
-This strict equality check may not account for minor fluctuations in the balance due to gas fees and other factors.
Slither
Replace the strict equality check with a more permissive comparison. Consider using >= or <= instead of == for such variables depending on the contract logic.
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.