如何配置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

The documentation for quickCheck说：“要运行更多的测试，请使用withMaxSuccess。”具体而言，您需要将main = quickCheck prop_PermInvariant更改为main = quickCheck (withMaxSuccess 10000 prop_PermInvariant)。根本没有理由在卡巴勒配置任何东西。