ChoosingRam::isRamSelected is not updated when a ram is selected in the ChoosingRam::increaseValuesOfParticipants function.
The isRamSelected variable keeps track of whether a ram has been selected or not but it doesn't get updated in the ChoosingRam::increaseValuesOfParticipants function when a ram is selected.
Functions depending on the ChoosingRam::RamIsNotSelected modifier will return wrong values when a ram is selected through the ChoosingRam::increaseValuesOfParticipantsParticipants function.
ChoosingRam::increaseValuesOfParticipantsParticipants can still be called after a ram has been selected.
ChoosingRam::selectRamIfNotSelected can still be called after a ram has been selected using the ChoosingRam::increaseValuesOfParticipantsParticipants function.
Dussehra::killRavana will not run because it depends on the value of ChoosingRam::RamIsNotSelected modifier which is incorrect.
Dussehra::withdraw will not run because it depends on the value of ChoosingRam::RamIsNotSelected modifier which is incorrect.
Manual Analysis
Update the isRamSelected variable after selecting a ram in the ChoosingRam::increaseValuesOfParticipantsParticipants function.
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.