如何在Hspec测试中使用QuickCheck？

Question

我用cabal init构建了Haskell项目的初始代码库，我有几个用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