Случайные перезапуски - это преднамеренная особенность тестов с состоянием, и мы должны иметь возможность представить минимальный (наименьшее количество шагов) контрпример, если ваш тест не пройден.
В вашем конкретном c случае я подозреваю, что государственная машина «застревает» и должна повторить некоторые шаги. Поскольку он не может выполнить max_step
шагов, он может не учитываться в качестве примера для max_examples
!
. Для получения более подробных комментариев я должен увидеть ваш реальный код и пример вывода: -)