首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >如何在Haskell的测试框架中打印测试种子?

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

Stack Overflow用户
提问于 2016-02-09 15:44:02
回答 1查看 507关注 0票数 1

docs声明它支持“报告在失败的QuickCheck运行中使用的种子,因此您可以在必要时再现该失败”。但是,默认的输出不会显示这一点,我也找不到任何命令行选项来打开它。

是否有一种在test-framework中这样做的方法,或者我必须手动从QuickCheck打印usedSeed

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2018-02-16 18:39:47

由于我也对这个问题的答案感兴趣,我想到了这个结果,搜索出来的,是测试的逐字输出。这让我想到了关于hoogle的答案:https://www.haskell.org/hoogle/?hoogle=verboseCheck

所以不用quickCheck :: Testable prop => prop -> IO ()

代码语言:javascript
复制
main = quickCheck propertyToTest

只给出以下的输出:

+++ OK,通过了100个测试。

使用verboseCheck :: Testable prop => prop -> IO ()

代码语言:javascript
复制
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个测试。

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

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/35296165

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档