如何報告失敗的測試用例

[英]How to report failing test cases

我正在通過Stack使用Haskell測試框架來評估QuickCheck屬性。 當我運行stack test ，失敗的屬性以Gave up! Passed only 95 tests的形式報告Gave up! Passed only 95 tests Gave up! Passed only ...

HTF不測試TH生成的道具

[英]HTF does not test props generated by TH

我想對我的庫中的各種類型進行許多類似的測試。 為簡化起見，假設我有許多實現Num類的向量類型，並且我想生成相同的prop_absNorm xy = abs x + abs y >= abs (x+y)屬性檢查prop_absNorm xy = abs x + abs y >= ...

Test.QuickCheck：加快測試同一類型的多個屬性

[英]Test.QuickCheck: speed up testing multiple properties for the same type

我正在測試一個生成我自己類型實例的隨機生成器。 為此，我有一個Arbitrary的自定義實例： 這適用於Test.QuickCheck （實際上是Test.Framework ），用於測試生成的值是否包含某些屬性。 但是，我想檢查的屬性有很多，而且我添加的越多，驗證它們所需的時間就越 ...

用Cabal安裝HTF的麻煩

[英]Trouble Installing HTF with Cabal

我正在嘗試安裝HTF。 但是，在我cabal install HTF我得到了這個： 我嘗試過安裝其他版本，但遇到了不同的問題。 例如，使用cabal install 'HTF <= 0.1'我得到以下結果： 在cabal install 'HTF <= 0.9'之 ...

Haskell測試框架（HTF）和多個模塊中的測試定義

[英]Haskell Test Framework (HTF) and test definitions in multiple modules

HTF有一個示例項目 ，展示了如何使用測試框架。 模塊MyPkg.A定義了一些測試，MyPkg.B定義了一些測試。 是否有可能編寫新的模塊MyPkg.C，它聚合了模塊A和B的測試（並沒有自己定義新的測試）？ 我想從單個C模塊導入測試，而不是從A和B導入測試（在我的測試運行器主模塊中）。 ...

用HTF測試

[英]Testing with HTF

在HTF上有一個令人難以置信的缺乏體面的文檔。 我所能找到的只是一個教程 ，它沒有提供以下任何真正重要的信息： 如何創建一個自動執行包中所有測試的測試套件？ 究竟什么是HTF的“黑盒測試”，我該如何創建它們？ 基於HTF（源根，包和模塊結構，cabal）設置測試套件的 ...

與cabal，HTF和HUnit斷言的奇怪之處

[英]Weirdness with cabal, HTF, and HUnit assertions

所以我試圖用HTF來運行一些HUnit風格的斷言 當我使用ghc --make ，它似乎正常工作。 但是當我使用cabal構建它時，並非所有應該失敗的測試都會失敗。 出了什么問題，我該如何解決？ ...