quickcheck

8热度

2回答

我想要使用QuickCheck以下another answer。我测试这样的： {-# LANGUAGE TemplateHaskell #-} import Test.QuickCheck import Test.QuickCheck.All last' :: [a] -> a last' [x] = x last' (_:xs) = last' xs prop_test x

4热度

1回答

哈斯克尔，快速检查，窜改（错误）物业：

有没有一种方法来伪造这个（错误）物业： prop :: Eq a => [a] -> Bool prop xs = reverse xs == xs 当我使用快速检查，后来VerboseCheck它给了100种不同的形式： [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()] 通过：和最后的结果是： +++ OK, passed 100 test

0热度

1回答

R的quickcheck最新版本是什么？

R的quickcheck最新版本是什么？如果这个答案变得过时了，我怎么会手工或从程序中找出答案？

3热度

1回答

使用QuickCheck生成存在类型？

我在为这个问题苦苦挣扎 - QuickCheck如何为所有类型生成值？也许它可以伪造它，只测试类型Arbitrary a => a？我只是想知道一个人如何能做出任意的数据构造的实例与生存型： data Foo a = Foo a (forall b. (a -> b, b -> a))

9热度

2回答

哈斯克尔快速检查最小的反例

考虑下面的测试为distributivity law between reverse and ++， import Test.QuickCheck test :: [Int] -> [Int] -> Bool test xs ys = reverse (xs ++ ys) == reverse xs ++ reverse ys test2 :: (Eq a) => [a] -> [a]

13热度

1回答

为什么我的SVG弧转换的实现不能通过QuickCheck？

我在Haskell中实现W3s recommended algorithm for converting SVG-path arcs from endpoint-arcs to center-arcs and back。 type EndpointArc = (Double, Double, Double, Double , Bool, Bool, Double, Double,

4热度

1回答

是否有可能检查使用QuickCheck引发异常的情况？

假设我有一个函数应该在一种情况下计算一些值，否则会抛出异常。我想使用QuickCheck来确保我的函数的行为正确，但不清楚如何执行此类排序的检查。是否有可能，如果是的话，如何检查某些类型的异常是否被抛出，并且它包含有关其原因的正确信息？

0热度

1回答

快速检查，限定使用，其结果的功能的任意情况下取决于其参数

我有一个函数arbExample以生成依赖于数字的功能的随机Example数据类型。我想通过做quickCheck prop_example做一些性能测试，问题是我不知道如何定义的Arbitrary实例，它使用arbExample。我希望能够运行quickCheck prop_example，同时指定arbExample使用的Gens数据结构。 data Example = Example

1热度

1回答

我该如何专注于Frege QuickCheck中的类型？

我想运行反转列表的经典测试。为此，我必须将列表专门化为“任意”（sic！）类型的列表，例如， [INT]。什么工作是 module ListCheck where import Test.QuickCheck myReverse :: [Int] -> [Int] myReverse = reverse reverse_of_reverse_is_original = proper

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