Initial State: A session is active.
Step 1: The session end time (sessionEnd) is reached.
Outcome: Students and teachers are not notified that the session has ended.
Implications: Lack of transparency and communication could lead to confusion among participants.
How they are affected: Participants are unaware of the session's status, leading to potential miscommunication.
event SessionEnded(uint256 timestamp);
function endSession() public onlyPrincipal {
require(block.timestamp >= sessionEnd, "Session not ended yet");
inSession = false;
emit SessionEnded(block.timestamp);
}
Event not emitted
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.