Open code423n4 opened 2 years ago
pauliax
condition should be inclusive >= :
if (available > totalClaimed.add(_amount))
@LilYeti: Miniscule edge case that could cause loss of 1 wei of YETI for owners.
Recommend downgrade to severity 0
Function incorrect as to spec, otherwise it would be medium severity.
Handle
pauliax
Vulnerability details
Impact
condition should be inclusive >= :