Code snippet of Treasury.sol::withdraw.
transfer() function will not revert, even if tranfer is unsuccesful.
User hits withdraw function.
transfer of funds to recipeint is unsucessful, due to some reason, but no revert.
_balances[token] -= amount; changed. but it shouldn't.
Internal accounting and actual balance discrepancy.
Manual
Use openzepplin safeTransfer instead.
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.