search

code-423n4 / 2021-12-pooltogether-findings

0 stars 0 forks source link

_updateClaimedEpoch might behave unexpectedly #85

Closed code423n4 closed 2 years ago

code423n4 commented 2 years ago

Handle

certora

Vulnerability details

_epochId is uint256, but it should be uint8

Recommended Mitigation Steps

change type to uint8

PierrickGT commented 2 years ago

Duplicate of https://github.com/code-423n4/2021-12-pooltogether-findings/issues/80