如何在 Hspec 测试中使用 QuickCheck？

Question

我用 cabal init 为我的 Haskell 项目构建初始代码库 我有几个用 Hspec 编写的测试。 在 cabal test 上，它按预期编译和 运行s 这些测试，并为 failing/passing 提供消息。

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

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

有没有办法在测试工作流程中 "include" 快速检查测试。这样我就不必在每次测试后都查看测试日志 运行.

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

你想要 property function, see here.

示例：

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