Явные примеры

Фиксированные входы закрепляют найденный баг как постоянный кейс, который выполняется при каждом запуске наряду со случайными. Объявите метод <testMethod>Examples (или укажите его через #[Property(examples: 'method')]), возвращающий позиционные кортежи аргументов; каждый выполняется до случайных входов и сообщается дословно (без shrink — это уже минимальный кейс, который вы закрепили) через ExampleViolationException.

#[Test]
#[Property(generators: 'ints')]
public function additionCommutes(int $a, int $b): void
{
    Assert::same($a + $b, $b + $a);
}

/** @return list<array{int, int}> */
public static function additionCommutesExamples(): array
{
    return [[0, 0], [PHP_INT_MAX, 1]]; // regressions that must always run
}