docs声明它支持“报告在失败的QuickCheck运行中使用的种子,因此您可以在必要时再现该失败”。但是,默认的输出不会显示这一点,我也找不到任何命令行选项来打开它。
是否有一种在test-framework中这样做的方法,或者我必须手动从QuickCheck打印usedSeed?
发布于 2018-02-16 18:39:47
由于我也对这个问题的答案感兴趣,我想到了这个结果,搜索出来的,是测试的逐字输出。这让我想到了关于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,-21,-19,-19,-3,10,68,74,50,13-9,54,41,-78,-77,28,-17,76,-41,-51,17,-90,56,25,58 .另外99人. +++ OK,通过了100个测试。
由于这个问题没有答案,而且我自己也得到了,所以我在这里创建了一个帐户,并分享它。
https://stackoverflow.com/questions/35296165
复制相似问题