Submitted by auditor0517, also found by _Adam, 0xA5DF, cccz, minhquanym, minhtrng, and zzzitron
After confirming with the sponsor, dirtyLiquidationFee is 90% of cleanLiquidationFee like the comment.
But it uses 9% (9000 / 1e5 = 0.09) and the fee calculation will be wrong here.
We should change 9000 to 90000.
DrakeEvans (Frax) confirmed and commented:
gititGoro (judge) commented:
