如何在Hspec测试中使用QuickCheck？

Question

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

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

但在dist/test/dir中我可以看到测试日志 *** Failed! ...

有没有办法在测试工作流程中"包含"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 -- <== ?

Answer 1

你想要属性函数,请看这里.

例:

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