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.