QuickCheck 2 xử lý theo lô

Question

Mô-đun Batch của QuickCheck đã bị xóa với version 2 (1.2.0.1 still has it). Bởi vì điều này, tôi luôn luôn cảm thấy như mapM_ -ing nhiều bài kiểm tra với nhau là loại hacky. Tôi có thấy tính năng kế thừa trong QuickCheck 2 không? Có một cách hợp lý để nhóm các bài kiểm tra độc lập lại với nhau không?

Answer 1

Có tùy chọn 'đi lớn hoặc về nhà' để nhóm lại tất cả các thử nghiệm trong mô-đun hiện tại qua Test.QuickCheck.All. Nó đòi hỏi Template Haskell và tất cả các thuộc tính phải bắt đầu bằng prop_. Ví dụ:

{-# LANGUAGE TemplateHaskell #-} 

import Test.QuickCheck.All 

prop_one, prop_two :: a -> Bool 
prop_one = const True 
prop_two = const True 

runTests :: IO Bool 
runTests = $quickCheckAll 

main :: IO() 
main = runTests >>= \passed -> if passed then putStrLn "All tests passed." 
             else putStrLn "Some tests failed."