当前位置 : 主页 > 手机开发 > 其它 >

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

来源:互联网 收集:自由互联 发布时间:2021-06-22
我使用cabal init为我的 Haskell项目构建初始代码库 我有几个用Hspec编写的测试. 在cabal测试中,它会像预期的那样编译和运行这些测试,并给出失败/传递的消息. 现在我加入了一个quickCheck测试
我使用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
网友评论