如何在 Haskell 的测试框架中打印测试种子?



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 次测试。

由于这个问题没有答案,我自己得到了它,所以我在这里创建了一个帐户并分享它

相关内容

  • 没有找到相关文章

最新更新