test-framework
文档声明它支持"报告在失败的快速检查运行时使用的种子,因此您可以在必要时重现失败。但是,默认输出不显示此功能,并且我找不到任何可以打开此功能的命令行选项。
有没有办法在test-framework
中执行此操作,或者我必须从快速检查手动打印usedSeed
?
由于我也对这个问题的答案感兴趣,我想到了,搜索的结果是测试的详细输出。这让我想到了关于hoogle的答案:https://www.haskell.org/hoogle/?hoogle=verboseCheck
因此,与其使用quickCheck :: Testable prop => prop -> IO ()
main = quickCheck propertyToTest
仅给出以下输出:
+++ OK,通过了 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人...
+++ OK,通过了 100 次测试。
由于这个问题没有答案,我自己得到了它,所以我在这里创建了一个帐户并分享它