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

Question

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

现在我包含了一个 快速检查 测试，即使此测试失败，终端中的输出也无法识别 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

您想要 property功能，见 here .

例子:

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