deadline_set isn’t set to true, set_deadline can be called repeatedly, which might be intended but isn’t explicit.Current logic prevents re-setting due to DeadlineAlreadySet, but the flag’s purpose is unclear without being updated.
Potential unintended repeated calls to set_deadline.
Manual code review
Recommendations
Explicitly update deadline_set after a deadline is assigned.
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.