Как напечатать тестовое семя в тестовой среде Haskell?

Question

test-framework Документы утверждают, что он поддерживает "Отчет о затравке, использованной при неудачном запуске QuickCheck, так что вы можете воспроизвести сбой в случае необходимости". Однако вывод по умолчанию не отображает это, и я не могу найти какой-либо параметр командной строки, который включит это.

Есть ли способ сделать это в test-framework или мне придется вручную распечатать usedSeed от QuickCheck?

Answer 1

Поскольку я также был заинтересован в ответе на этот вопрос, мне пришло в голову, что искомый результат является подробным результатом теста. Это привело меня к ответу на hoogle: https://www.haskell.org/hoogle/?hoogle=verboseCheck

Так что вместо использования quickCheck :: Testable prop => prop -> IO ()

main = quickCheck propertyToTest

давая только вывод:

+++ ОК, прошло 100 тестов.

использование verboseCheck :: Testable prop => prop -> IO ()

main = verboseCheck propertyToTest

дать подробный подробный вывод, как этот пример для каждого теста (пройдено: 100 раз):

Прошло:
[-83, -52,7, -3, -92, -52,21,18,48, -72, -93,74, -30, -1,88,57,39, -20, -92, -98, -85,8, -92,22, -83,82, -39,49,70,65, -35, -7,66,38, -76,92,0, -94, -28, 68,43,21, -70,25,76,39, -31, -37, -30, -1, -39, -34,14, -5, -19,54, -21, -19, - 3,10,68,74,50,13, -9,54,41, -78, -77,28, -17,76, -41, -51,17, -90,56,25,58,90 ]

... 99 других...

+++ ОК, прошло 100 тестов.

Поскольку на этот вопрос не было ответа, и я получил его самостоятельно, я создал здесь аккаунт и поделился им