[英]How to configure QuickCheck with cabal?
我正在学习构建一个 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?
quickCheck
的文档说“要运行更多测试,请使用withMaxSuccess
。” 具体而言,您将main = quickCheck prop_PermInvariant
更改为main = quickCheck (withMaxSuccess 10000 prop_PermInvariant)
。 根本没有理由在 Cabal 中配置任何东西。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.