htf

    4熱度

    1回答

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

    HTF有sample project，它顯示瞭如何使用測試框架。模塊MyPkg.A定義了一些測試，MyPkg.B定義了一些測試。是否有可能編寫新的模塊MyPkg.C，它聚合了模塊A和B的測試（並且沒有定義新的測試本身）？ 我不想從A和B導入測試（在我的測試運行器主模塊中），我想從單個C模塊導入測試。 我實現MyPkg.C這樣 {-# OPTIONS_GHC -F -pgmF htfpp #-}
    testing haskell htf 2012-12-26

    4熱度

    1回答

    用Cabal安裝HTF時出現故障

    我想安裝HTF。不過我cabal install HTF後，我得到這個： Resolving dependencies... Configuring HTF-0.10.0.7... Warning: This package indirectly depends on multiple versions of the same package. This is highly likely t
    haskell ghc cabal htf 2012-12-30

    15熱度

    1回答

    使用HTF進行測試

    HTF有一個令人難以置信的缺乏體面的文檔。所有我能找到的是一個Tutorial不提供下列任何真正重要的信息： 如何創建一個測試套件，自動執行從包中的所有測試？ HTF的「黑盒測試」究竟是什麼，我如何創建它們？ 建立基於HTF（源根，包和模塊結構，cabal）的測試套件的實際標準是什麼？
    testing haskell htf 2012-01-19

    5熱度

    3回答

    HTF不測試由TH生成的道具

    我想對我的庫中的各種類型進行一些類似的測試。 爲了簡化事情，假設我有一些向量類型實現Num類，並且我想生成相同的QuickCheck屬性檢查prop_absNorm x y = abs x + abs y >= abs (x+y)，它可以處理庫中的所有類型。 $(writeTests (\t -> [d| prop_absNorm :: $(t) -> $(t) -> Boo
    haskell template-haskell quickcheck htf 2015-09-25

    4熱度

    2回答

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

    我正在測試一個隨機生成器來生成我自己類型的實例。對於我的Arbitrary一個自定義實例： complexGenerator :: (RandomGen g) => g -> (MyType, g) instance Arbitrary MyType where arbitrary = liftM (fst . complexGenerator . mkStdGen) arbitra
    testing haskell quickcheck htf 2013-03-09

    0熱度

    2回答

    如何報告失敗的測試用例

    我通過堆棧使用Haskell測試框架來評估QuickCheck屬性。當我運行stack test時，失敗的屬性以Gave up! Passed only 95 tests的形式報告。財產測試的很多例子中，我發現報告失敗的形式爲Falsifiable, after 48 tests，然後是失敗的參數。但是，這些示例似乎是直接運行QuickCheck，而不是通過Stack和HTF運行。 如何配置我的環
    haskell haskell-stack quickcheck htf 2017-04-11
最新問題