The StabilityPool contract directly transfers RAAC rewards from its balance instead of minting new rewards through the RAACMinter. This can lead to failed withdrawals if the pool's RAAC balance is insufficient to pay all accrued rewards.
During withdrawals, the StabilityPool transfers RAAC rewards directly from its balance:
this means rewards are sent from the stability's pool balance, if the stability pool doens't have enough raac Tokens, no user will be able to withdraw; another point is that the mintRewards
is only available for the stability pool but the stability pool doesn't implement this function
Users won't be able to withdraw their tokens if there aren't enough rewards in the stability pool.
Manual review
Modify withdraw to mint rewards through RAACMinter instead of transferring from pool balance:
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.