如何在Hspec测试中使用QuickCheck?

时间:2018-07-30 11:45:34

标签: haskell tdd cabal quickcheck property-testing

我使用cabal init为Haskell项目构建了初始代码库 我有一些用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 -- <== ?

1 个答案:

答案 0 :(得分:6)

您需要property功能,请参见here

示例:

spec :: Spec
spec = do
    describe "myTest" $ do
        it "Something something" $
            property prop_myTest
相关问题