Haskell &引用;食谱;用于从QuickCheck1转换为QuickCheck2?
是否有从QuickCheck1转换为QuickCheck2的食谱 例如,删除并引入了Haskell &引用;食谱;用于从QuickCheck1转换为QuickCheck2?,haskell,quickcheck,Haskell,Quickcheck,是否有从QuickCheck1转换为QuickCheck2的食谱 例如,删除并引入了defaultConfig()和triple 我确实读过。QuickCheck2的作者似乎没有提供发行说明,这些说明通常用于回答像您这样的问题。假设(哦,我们知道这意味着什么!)作者更新了API文档,您可以将其与您拥有的版本进行比较,不同之处将为您提供您的食谱。作为最后的手段,您可以比较源代码,但这可能会显示出比您所关心的更多的差异。我不知道有任何这样的文档——这真是太遗憾了 但是,至少有一个部分变更列表已发布到
defaultConfig
()和triple
我确实读过。QuickCheck2的作者似乎没有提供发行说明,这些说明通常用于回答像您这样的问题。假设(哦,我们知道这意味着什么!)作者更新了API文档,您可以将其与您拥有的版本进行比较,不同之处将为您提供您的食谱。作为最后的手段,您可以比较源代码,但这可能会显示出比您所关心的更多的差异。我不知道有任何这样的文档——这真是太遗憾了 但是,至少有一个部分变更列表已发布到邮件列表: 其中列出的清单包括:
- 缩小失败的测试用例
- 支持测试一元代码
- 优雅地处理异常
- coarbitrary已经转移到一个单独的类,以便更容易地编写任意类的简单实例
- 用于更改测试数据生成的类型级别修饰符(例如非负)
- 魔术功能表打印
- 属性失败时的用户定义操作