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
最新问题