失敗時のクイックチェック終了ステータスとキャバレーの統合

Question

キャブールといくつかのクイックチェックテストを統合する方法を理解しようとしています。このgistは、失敗したときにquickCheck関数がゼロ以外のステータスを返すことを示唆していますが、その動作を取得していないため、errorをテスト全体に呼び出さない限り、cabalのexitcode-stdio-1.0テストスイートタイプを使用しても機能しません。

キャバルuser guideにはdetailed-1.0テストスイートが記載されていますが、AFAICTはまだ存在しません。それは今の場合ですか？

多くの人がtest-framework packageを使用しているという回答から、this oneと思われます。それは私にとって過度のものですが、私はそれを使うべきですか？

私はこのような状況では不満足です。物事の

バージョン私が使用している：quickCheck's implementationを見て

cabal-install version 0.10.2 
using version 1.10.1.0 of the Cabal library 
QuickCheck-2.4.1.1 

Answer 1

を、それが実際にプログラムを終了することはありません。しかし、あなたは簡単にquickCheckResultを使用して、この動作を実装することができます

import Control.Monad 
import Test.QuickCheck 
import Test.QuickCheck.Test 
import System.Exit 

main :: IO() 
main = do 
    result <- quickCheckResult prop 
    unless (isSuccess result) exitFailure 

私の理解では、detailed-1.0がまだ一般的な使用のための準備と考えられ、そしてexitcode-stdio-1.0はまだ今の推奨テストソリューションであるとされていないということです。

Answer 2

私はDecimalパッケージの最新バージョンでtest-frameworkを使用しました。それは過労ではなかった。それはほしいものだけをした。使用方法の例が必要な場合は、complete source codeをご覧ください。