It is allowed to the lender to seize the loan in the last second of the auction.
It is checked in the code if block.timestamp < loan.auctionStartTimestamp + loan.auctionLength.
This will allow the lender to seize the loan in the last second of the auction which violate the requirements. In case if the loan.auctionLength is set to 1, the lender will be allowed to skip the auction in this way and seize the loan.
Manual review
Replace the mentioned verification with the block.timestamp <= loan.auctionStartTimestamp + loan.auctionLength.
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.