如何在Hspec测试中使用QuickCheck？

Question

I build the initial codebase for my Haskell project with cabal init I have several tests written with Hspec. On cabal test it compiles and runs these tests like expected and gives a message for failing/passing.

Now I included a quickCheck test and even when this test fails the output in terminal don't recognize the quickCheck test.

But in the dist/test/ dir i can see the test log *** Failed! ... *** Failed! ...

Is there a way to "include" quickCheck tests in the test workflow. So that i don't have to look on the test log after every test run.

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

You want the property function, see here .

Example:

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