Horses can't be fed at all times
Huff version of HorseStore.feedHorse
prevents users from feeding their horses if block.timestamp % 17 == 0
. Transaction will revert if this happens. Users will be DOS very often, basically every 17 seconds.
HIGH. Impacts all users. Breaks second invariant: Horses must be able to be fed at all times.
Manual review, Foundry.
Remove the condition that prevents feeding horses when timestamp % 17 == 0. There should be no check on timestamp.
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.