First Flight #2: Puppy Raffle

Summary

Array size not reduced after deleting the player.

Vulnerability Details

In function refund
players[playerIndex] = address(0);
after deleting the player the array size is not reduced

Impact

There will be error is calculating the array size or number of players.

Tools Used

Foundry
Git
Manual review

Recommendations

Reduce the size of the array after deleting the player.