DebtToken is using rays from WadRayMath, but should use wads. Like instead of rayMul it should be wadMul
On the WadRayMath library we can see wad is used for 18 decimals and ray is used for 27 decimals.
On the DebtToken we can see it is inheriting from ERC20 from openzeppelin.
The ERC20 is actually 18 decimal token.
So that means the DebtToken is using rays which is wrong.
Use wads instead of rays
Like use wadMul instead of rayMul
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.