CertoraInc
if a user has a pending reward and he call the stake function with amount = 0, he wonβt be able to get his reward (he wonβt get the reward, and the reward debt will cover the reward)
thatβs happening because the reward calculation is done only if the staked amount (given as a parameter) is greater than 0, and it updates the reward debt also if the amount is 0, so the reward debt will be updated without the user will be able to get his reward
The text was updated successfully, but these errors were encountered:
All reactions