There’s no check in graduateAndUpgrade that every student has exactly 4 reviews.
There is no code related to System upgrade should not occur if any student has not gotten 4 reviews (one for each week)
Contradicts sixth rule of invariants.
Manual Review
Before upgrade, iterate through listOfStudents and ensure reviewCount[student] == 4.
All students are graduated when the graduation function is called as the cut-off criteria is not applied.
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.