Teachers receive 40% of the school fee pot instead of 35%.
The invariant says:
Payment structure is as follows:
principalgets 5% ofbursary
teachersshare of 35% of bursaryremaining 60% should reflect in the bursary after upgrade
However, as we can see in LevelTwo.sol:
uint256 public constant TEACHER_WAGE_L2 = 40;
That means that teachers get more funds than intended.
Teachers are overpaid, and the school receives a smaller share.
Manual Review
Update TEACHER_WAGE_L2 to 35.
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.