It is given that - ''If horse has been fed within the past 24 hours, horse X must be happy."
But in the function it returns false for boundary condition.
The vulnerability lies in the solidity contract isHappyHorse
function where it returns false for boundary condition but it should be true.
Returns false even if horse is happy for boundary condition.
Manual Review
Make the below updations
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.