LiquidationPoolManager::distributeFees() function does not priorities multiplication operation over division leading to loss of decimal resolution.
The fee for pool calculation can loose decimal resolution.
In the below like, the division can happen before multiplication leading in loss of precision.
feesForPool can be lower because of this lack in order of mathematics operation
Manual
Assign order of execution by add braces
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.