如何在Hspec測試中使用QuickCheck？

Question

我使用cabal init為我的Haskell項目構建初始代碼庫我有幾個用Hspec編寫的測試。 在cabal test它會像預期的那樣編譯和運行這些測試，並給出失敗/傳遞的消息。

現在我加入了一個quickCheck測試，即使測試失敗，終端輸出也無法識別quickCheck測試。

但是在dist / test / dir我可以看到測試日志*** Failed! ... *** 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