gpt4 book ai didi

haskell - 自动收集所有快速检查

转载 作者:行者123 更新时间:2023-12-04 05:41:12 27 4
gpt4 key购买 nike

作为 quickCheck 的粉丝,我有很多

prop_something_something = ...

在我的整个程序中。

为方便起见,为了轻松运行所有这些,我定义
runchecks = do
quickCheck prop_something_something
quickCheck prop_something_different

但是有没有一种很好的方法来生成 runchecks ?

TL;DR:我想轻松运行文件中的所有快速检查。我想一种方法是在可运行的测试前面加上 test_ 或类似的东西,但这可能太老套了。

最佳答案

额外说明:此功能在 QuickCheck 2 中也是开箱即用的,请参阅函数 quickCheckAll ,这需要导入 Test.QuickCheck.All以及 TemplateHaskell . quickCheckAll将测试模块中名称以 prop_ 开头的所有函数.

关于haskell - 自动收集所有快速检查,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10339025/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com