haskell – 如何在Hspec测试中使用QuickCheck？

发布时间：2020-12-14 04:49:17 所属栏目：百科来源：网络整理

导读：我使用cabal init为我的 Haskell项目构建初始代码库我有几个用Hspec编写的测试. 在cabal测试中,它会像预期的那样编译和运行这些测试,并给出失败/传递的消息. 现在我加入了一个quickCheck测试,即使测试失败,终端输出也无法识别quickCheck测试. 但是在dist /

我使用cabal init为我的 Haskell项目构建初始代码库
我有几个用Hspec编写的测试.
在cabal测试中,它会像预期的那样编译和运行这些测试,并给出失败/传递的消息.

现在我加入了一个quickCheck测试,即使测试失败,终端输出也无法识别quickCheck测试.

但是在dist / test / dir我可以看到测试日志***失败了！ …

有没有办法在测试工作流程中“包含”quickCheck测试.因此,我不必在每次测试运行后查看测试日志.

import Test.Hspec
import Test.QuickCheck

spec :: Spec
spec = do
    describe "myTest" $do
        it "Something something" $do
            myTest "" `shouldBe` False
            quickCheckWith stdArgs { maxSuccess = 1000 } prop_myTest -- <== ?

解决方法

您需要 property功能,请参阅 here.

例：

spec :: Spec
spec = do
    describe "myTest" $do
        it "Something something" $
            property prop_myTest

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!