Summary : Inside `pot.sol` there is an error declared on line:9.
errorPot__InsufficientFunds();
Vulnerability Details: It was supposed to be triggered if there was anykind of insufficient funds in the pot but it was not implemented anywhere.
Impact: As it was supposed to be used to maintain a lower limit of how much of funds was supposed to be funded inside the pot, it is proving to be a vital part of the code base. As it is missing there can be some situations where there could be some rounding errors as well as some funds getting stuck in the pool which may not be much but still not intended.
Tools Used: Manual review
Recommendations: consider removing it or implementing it where it was supposed to