Ограничение shrink-работы
По умолчанию shrinking идёт, пока хоть один меньший кандидат всё ещё падает, с перезапуском свойства на каждый принимаемый шаг. Для дорогих свойств или очень больших входов можно ограничить число принимаемых shrink-шагов через maxShrinks:
php
#[Property(runs: 200, maxShrinks: 25)]maxShrinks: null (по умолчанию) означает без лимита. maxShrinks: 0 полностью отключает shrinking и сообщает исходный контрпример без изменений. Лимит считает принятые shrink-шаги, а не выполнения тестов.