如何使用 cabal 配置 QuickCheck？

Question

我正在學習構建一個 Haskell 包。 我堅持的一件事是使用 QuickCheck 運行測試。

具體來說，如何配置要運行的試驗次數？

這是我的帶有虛擬測試的測試文件（ Test.hs ）：

module Main where

import System.Exit (exitFailure)
import Test.QuickCheck

prop_PermInvariant xs = length xs == length (reverse xs)
  where types = xs :: [Int]

main :: IO ()
main = quickCheck prop_PermInvariant

這是我的.cabal文件：

Test-Suite tests
  type: exitcode-stdio-1.0
  main-is: Test.hs
  default-language: Haskell2010
  build-depends:
    base ^>= 4.14.3.0,
    QuickCheck > 2.14,
  hs-source-dirs: tests

構建包后，我可以進行cabal test ，這將在我的虛擬測試上運行 100 次試驗。 但是如何將其更改為運行 10000？

Answer 1

quickCheck的文檔說“要運行更多測試，請使用withMaxSuccess 。” 具體而言，您將main = quickCheck prop_PermInvariant更改為main = quickCheck (withMaxSuccess 10000 prop_PermInvariant) 。 根本沒有理由在 Cabal 中配置任何東西。