我正在學習構建一個 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？
uj5u.com熱心網友回復：
檔案quickCheck說“要運行更多測驗，請使用withMaxSuccess.” 具體而言，您將更main = quickCheck prop_PermInvariant改為main = quickCheck (withMaxSuccess 10000 prop_PermInvariant). 根本沒有理由在 Cabal 中配置任何東西。
轉載請註明出處，本文鏈接：https://www.uj5u.com/yidong/482695.html
上一篇：使GCD代碼更漂亮、更簡潔