Incorrect reviewCount limit of 5 allows a potential 5th review, violating the 4-review rule.
The giveReview function in LevelOne.sol checks reviewCount[_student] < 5, but the invariant requires exactly 4 reviews. This allows a potential 5th review (if reviewCount were incremented), which is inconsistent with the 4-review limit.
Minor inconsistency, manageable if reviewCount is fixed.
Manual code review.
Change the check to require(reviewCount[_student] < 4, "Student review count exceeded!!!");.
`reviewCount` for students is not updated after each review session
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.