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

Question

我为我的 Haskell 项目构建了初始代码库，其中cabal init 有几个用 Hspec 编写的测试。cabal test它会像预期的那样编译和运行这些测试，并给出失败/通过的消息。

现在我包含了一个quickCheck测试，即使这个测试失败，终端中的输出也无法识别 quickCheck 测试。

但是在 dist/test/ 目录中我可以看到测试日志*** 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