自定义QuickCheck失败消息
是指在使用QuickCheck进行属性测试时，当测试失败时，可以自定义错误消息以提供更详细的信息，帮助开发人员更好地理解和调试失败的测试用例。
在QuickCheck中，属性测试是一种自动化测试方法，用于验证代码的属性是否满足预期。当属性测试失败时，QuickCheck会生成一个最小化的输入样本，以便开发人员可以更容易地理解和修复问题。
为了自定义QuickCheck失败消息，可以使用QuickCheck提供的counterexample函数。该函数接受一个错误消息和一个表达式，当表达式为假时，将显示自定义的错误消息。
以下是一个示例，展示了如何自定义QuickCheck失败消息：
import Test.QuickCheck
prop_reverse :: [Int] -> Bool
prop_reverse xs = reverse (reverse xs) == xs
main :: IO ()
main = quickCheckWith stdArgs { chatty = False } $ counterexample "Reversing twice should give the original list" prop_reverse在上述示例中，prop_reverse是一个属性测试函数，用于验证反转两次的列表是否等于原始列表。counterexample函数用于自定义失败消息，其中"Reversing twice should give the original list"是自定义的错误消息。
通过自定义QuickCheck失败消息，开发人员可以更好地理解测试失败的原因，并快速定位和修复问题。这对于确保代码的正确性和稳定性非常重要。
腾讯云提供了多个与云计算相关的产品，如云服务器、云数据库、云存储等。这些产品可以帮助开发人员在云环境中进行应用部署、数据存储和管理等操作。具体的产品介绍和链接地址可以在腾讯云官方网站上找到。
相关·内容
我想扩展，以便在测试失败时为我提供更好的消息(而不仅仅是种子)。例如，我希望能够创建如下内容：
eqTest :: Eq a => a -> a -> TestResult
eqTest x y = if x == y
then HappyResult
else SadResult $ show x <> " /= " <> show y
或者(对于Monoid实例，它在SadResult上“停止”，在HappyResult上“继续”，类似于TestResult的(&&
浏览 1提问于2013-07-01得票数 4
回答已采纳
当我使用cabal test运行测试套件时，我得到了以下消息：
Running 1 test suites...
Test suite tests: RUNNING...
Test suite tests: PASS
Test suite logged to: my-lib-tests.log
但是，当我查看日志文件时，内容是：
Test suite tests: RUNNING...
*** Failed! Falsified (after 1 test):
[]
Test suite tests: PASS
Test suite logged to: my-lib-tests.log
当测
浏览 6提问于2022-06-02得票数 0
回答已采纳
QuickCheck库似乎可以捕获在测试属性时抛出的所有异常。特别是，此行为阻止了我对整个QuickCheck计算设置时间限制。例如：
module QuickCheckTimeout where
import System.Timeout (timeout)
import Control.Concurrent (threadDelay)
import Test.QuickCheck (quickCheck, within, Property)
import Test.QuickCheck.Monadic (monadicIO, run, assert)
-- use threadDela
浏览 3提问于2012-03-04得票数 7
2回答
在Java中是否有一个灵活的模糊测试框架？
将模糊测试定义为：
模糊测试是一种软件测试技术，通常是自动化的或半自动的，它涉及向计算机程序的输入提供无效、意外或随机的数据。然后监视程序的异常，如崩溃，或失败的内置代码断言，或寻找潜在的内存泄漏。模糊化通常用于测试软件或计算机系统中的安全问题。
我知道Erlang有这样一个框架。任何提示都欢迎。
浏览 0提问于2014-03-13得票数 11
2回答
如何报告失败的测试用例
、、、
我正在通过堆栈使用来评估QuickCheck属性。当我运行stack test时，失败的属性以Gave up! Passed only 95 tests的形式报告。我发现的许多属性测试示例都以Falsifiable, after 48 tests的形式报告了失败，后面跟着失败的参数。然而，这些示例似乎是直接运行QuickCheck，而不是通过堆栈和HTF运行。
如何配置我的环境来报告QuickCheck生成的参数，这些参数无法满足所测试的属性？正如在中所指出的那样，对于这些工具中的一些工具来说，文档已经非常稀少和贫乏，更不用说将它们组合在一起了。
浏览 2提问于2017-04-11得票数 1
回答已采纳
例如，我有一个测试代码，如下所示：
import Data.Decimal
import Data.Ratio
import Data.Word
import Test.HUnit
import Control.Applicative
import Debug.Trace
import Test.QuickCheck
import qualified Test.QuickCheck.Property as P
import Test.Framework as TF (defaultMain, testGroup, Test)
import Test.Framework.Providers.
浏览 36提问于2013-02-27得票数 3
回答已采纳
对于我正在开发的一个Cabal包，有些东西是不合理的，我已经将这个问题归结为以下示例：
我有以下简单的测试模块：
module Main where
import Test.QuickCheck (quickCheck)
main = quickCheck False
以及位于同一目录中的以下Cabal文件：
name: project
version: 0.1.0.0
cabal-version: >= 1.10
build-type: Simple
executable project
main
浏览 4提问于2015-04-24得票数 7
在尝试安装时，我运行$ stack install QuickCheck。
$ stack install QuickCheck
$
该命令暂停一秒钟，然后返回到shell，只打印一个空行。但是，这会使而不是看起来成功地安装了QuickCheck，因为运行$ ghc-pkg list无法找到包。
$ ghc-pkg list | grep QuickCheck
$
而且，因为我无法在编译导入该模块的文件时导入Test.QuickCheck。
$ ghc ImportsQuickCheck.hs
[1 of 1] Compiling ImportsQuickCheck ( ImportsQu
浏览 4提问于2017-08-10得票数 0
回答已采纳
考虑到下面使用QuickCheck的测试代码，我认为prop_Max errMax应该会失败，因为errMax的定义不正确。
当我使用具有具体类型Int的prop_Max的给定签名时，就会发生这种情况。但是，当我使用Ord给它更多形的注释掉类型时，测试通过了。为什么会这样呢？
import Test.QuickCheck
myMax :: Ord a => a -> a -> a
myMax x y
|x > y = x
|otherwise = y
errMax :: Ord a => a -> a -> a
errMax x
浏览 1提问于2014-10-04得票数 2
我正在尝试构建，但是它失败了，出现了一个与相关的错误。经过快速检查(不打算使用双关语)，我发现bytestring与版本>= 2.4 && < 2.10和默认情况下的nix构建quickcheck版本2.10.1有依赖关系。
在阅读了之后，我知道我可以切换quickcheck的版本。
shell.nix：
{ compiler ? "default", doBenchmark ? false }:
let
config = { packageOverrides = pkgs: rec {
haskellPackages
浏览 2提问于2018-07-02得票数 2
回答已采纳
考虑Haskell中的以下QuickCheck程序
{-# LANGUAGE TemplateHaskell #-}
import Test.QuickCheck
import Test.QuickCheck.All
prop_trivial :: Bool
prop_trivial = 42 == (6 * 7)
-- Wacky boilerplate to make all tests run.
return []
runTests = $quickCheckAll
main = do
runTests
这适用于ghc版本7.8.3和QuickCheck 2.7.6。问题是它重复
浏览 5提问于2015-01-26得票数 1
回答已采纳
我的ocaml设置如下：
ocaml 4.01.0
opam 1.1.2
qtest 2.0.1 (opam list qtest)
quickcheck 1.0.0
带有测试内联的源代码：
let rec foo x0 f = function
[] -> 0
| x::xs -> f x (foo x0 f xs);;
(*$T foo
foo 0 (+) [1;2] = 3
*)
qtest -o footest2.ml提取物foo.ml
不幸的是，footest2.ml无法编译：
重新构建footes
浏览 10提问于2014-10-17得票数 1
回答已采纳
我一直在尝试使用cabal-install作为一种构建haskell项目的方法，更重要的是，测试我的haskell项目，这有点类似于在Java项目中使用Maven的方式，主要是因为它似乎也是集成到Jenkins或ci中的一种很好的方法，而且在某种意义上它似乎非常可靠，因为您不需要开发环境等设置来检查和确认代码是否正在编译和正确。
不管怎样，我使用QuickCheck和HUnit来完成这项工作。在另一篇关于堆栈交换的文章中，我发现了一种集成HUnit和cabal的好方法，即使用Distribution.TestSuite.HUnit中的函数测试在我的测试模块中创建一个公开的测试数组。很管用。
我
浏览 0提问于2013-02-23得票数 10
在通过QuickCheck进行测试时，显示属性测试失败原因的最佳实践是什么？
请考虑以下示例：
prop a b = res /= []
where
(res, reason) = checkCode a b
那么a会话可能如下所示：
> quickCheck prop
Falsifiable, after 48 tests:
42
23
但对于调试，将失败原因显示为quickCheck可伪造报告的一部分将非常方便。
我是这样破解的：
prop a b = if res /= [] then traceShow reason False else True
whe
浏览 1提问于2011-01-23得票数 12
回答已采纳
我正在和Servant一起构建一个API，它似乎工作得很好。为了符合最佳实践，我正在为它编写一些测试，遵循官方指南。但是我正在使用Servant-Quickcheck来处理这个部分。
我试着用它来测试我的API没有给出任何500个错误，如下所示：
quickCheckSpec :: Spec
quickCheckSpec = describe "QuickCheck global tests for public API -" $ do
it "API never gives 500 error" $
withServantServer public
浏览 2提问于2019-11-22得票数 2
1回答
使用下列代数数据类型：
data Cons a = Cons a (Cons a) | Empty deriving (Show, Eq)
我编写了一个Arbitrary实例
我的理解是，有必要为QuickCheck创建一个Arbitrary实例，以了解如何为其测试找到要插入的Cons Int。
instance Arbitrary (Cons Int) where
arbitrary = elements [Empty, Cons 10 (Cons 100 (Cons 55 Empty)), Cons 1 Empty]
和一项职能：
makeArbitraryCons :: Gen
浏览 5提问于2014-11-23得票数 0
我已经看到了如何使用QuickCheck测试一元和非一元代码，但是如何使用它来测试处理错误的代码，即打印一些消息，然后调用exitWith。
浏览 0提问于2013-09-01得票数 5
回答已采纳
我在运行堆栈/GHCi版本8.4.3的macOS上：
在GHCi提示符下和在我的.hs文件中，import Test.QuickCheck都会失败。不管怎样，我被告知它没有被找到。GHCi Prelude>
<no location info>: error:
Could not find module ‘Test.QuickCheck’
It is not a module in the current program, or in any known package.
在.hs文件中>
"Could not find module ‘Test
浏览 13提问于2021-05-24得票数 0
我正在尝试理解如何将一些quickcheck测试与cabal集成。这个建议quickCheck函数在失败时返回非零状态，但我没有得到这种行为，所以使用cabal的exitcode-stdio-1.0测试套件类型似乎对我不起作用，除非我想在所有测试中调用error。
阴谋集团还提到了一个detailed-1.0测试套件，但这个测试套件还不存在。现在还是这样吗？
从像这样的答案中可以看出，很多人都在使用。这对我来说有点过头了，但这是我应该使用的吗？
我对这种情况有点不满意。
我正在使用的东西的版本：
cabal-install version 0.10.2
using version 1.10.1
浏览 0提问于2012-01-24得票数 11
回答已采纳
3回答
我正在通过美妙的。在可遍历的第(21)章的末尾，我需要为以下树编写一个实例：
data Tree a =
Empty
| Leaf a
| Node (Tree a) a (Tree a)
这是我的解决方案的。这些练习建议尝试同时实现foldMap和foldr。这就是我实现foldr的方式(无需考虑调用顺序)：
foldr _ z Empty = z
foldr f z (Leaf x) = f x z
foldr f z (Node left x right) =
f x $ foldr f (foldr f z left) right
然后，我按照以下方式实现了fol
浏览 5提问于2021-01-01得票数 6
我写了一个有限状态机模块的一个小足球游戏，我目前正在工作。它提供了一个用于设置FSM (基本上是其状态和转换)的接口。对于每个状态，您可以提供将在进入和退出时触发的函数，或者在FSM保持相同状态时，这些函数随后返回一些消息。它还提供了一个反应式接口(Yampa)，可以生成随时间变化的状态并收集随时间发生的消息。代码在这里，。
我正在寻找一个好的方法来测试这个模块。因为它是纯的，所以我想尝试一下quickcheck。我没有使用quickcheck的经验，所以任何提示都将不胜感激！到目前为止，我的基本理解是:提供一些函数，或多或少随机地构建FSM，然后在它们上运行一些(或多或少随机的)转换。但我不
浏览 0提问于2011-12-17得票数 7
回答已采纳
假设我没有安装HsColour程序，并且安装了QuickCheck
$ cd /tmp/
$ cabal get QuickCheck
$ cd QuickCheck
$ cabal install
...
[ 1 of 15] Compiling Test.QuickCheck.Random
...
[15 of 15] Compiling Test.QuickCheck
...
Installed QuickCheck-2.7.6
如果我再次安装QuickCheck，它将不会被重新编译，也就是说，我看不到行
[ 1 of 15] Compiling Test.QuickCheck.Ran
浏览 1提问于2014-11-06得票数 13
回答已采纳
2回答
是否有对HUnit或QuickCheck的扩展，允许像这样的持续集成系统对测试结果进行详细报告？
到目前为止，我最好的想法是简单地触发测试作为构建脚本的一部分，并依靠测试失败并返回非零退出代码。这对于在测试失败时引起注意是有效的，但是会混淆构建失败和测试失败，并且需要费力地通过控制台输出来确定问题的根源。
如果这是当前工具的最佳选择，我的想法是为HUnit编写一个报告模块，该模块将在中生成输出，然后将CI工具指向它，就像它正在报告一个Java项目一样。不过，这看起来有点老土，所以我很感谢您对新开发的现有选择和方向的想法。
浏览 0提问于2011-07-11得票数 11
回答已采纳
在中，可以在QuickCheck中使用doctest，如下所示：
-- |
-- prop> sort xs == (sort . sort) (xs :: [Int])
我想用多行来描述这个属性，可能如下
-- |
-- prop> sort xs ==
-- (sort . sort) (xs :: [Int])
Doctest本身支持多行输入(同样来自自述)
-- |
-- >>> :{
-- let
-- x = 1
-- y = 2
-- in x + y + multiline
-- :}
-- 6
我尝试了几个类
浏览 2提问于2015-06-15得票数 11
回答已采纳
1回答
我正在尝试开始使用hspec。我有一个使用QuickCheck的工作案例，但我只是想在运行cabal test时了解更多细节。我从hspec找到了，它给出了在运行可执行文件时提供一些更详细的控制的说明。我目前正在使用hi来初始化我的haskell包，所以我的cabal测试套件看起来像这样：
Test-Suite spec
Type: exitcode-stdio-1.0
Default-Language: Haskell2010
Hs-Source-Dirs: src
, test
浏览 4提问于2014-12-14得票数 3
1回答
我正在尝试安装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 to cause a compile failure.
package regex-base-0.93.2 requires mtl-2.0.1.0
package aeson-0.6.0
浏览 2提问于2012-12-31得票数 4
回答已采纳
我正在努力学习Haskell，特别是QuickCheck。虽然Haskell网上有很多信息，但我很难用QuickCheck创建一些随机测试。
例如，我有以下脚本：
import Test.QuickCheck
whatAge :: Int -> Int -> Int -> Int -> Bool
whatAge age1 age2 age3 age4
| age1 + age2 + age3 + age4 == 5 = True
| otherwise = False
main = do
verboseCheck whatAge
当我运行它显示：
浏览 2提问于2019-06-11得票数 0
回答已采纳
我试图在Haskell中为任意Repa数组编写测试。由于某些原因，下面的片段如下：
import Test.QuickCheck
import Test.QuickCheck.Monadic
import Data.Array.Repa (Array, DIM2)
prop_id :: Array U DIM2 Double -> Property
prop_id array = monadicIO $ array `R.equalsP` array >>= assert
抛出此异常：
*** Failed! (after 1 test):
Exception:
Test
浏览 3提问于2017-04-29得票数 2
回答已采纳
1回答
最近，我一直在用Haskell和QuickCheck进行自动测试。有一段时间，我有一些失败，但程序检索[(),()]作为检查参数。
"[(),()]" 是什么意思？
浏览 0提问于2016-08-29得票数 0
鉴于以下情况：
test :: (Int -> Int) -> Int -> Bool
test _ _ = True
编译源代码后，我尝试运行quickCheck test
> quickCheck test
<interactive>:27:1:
No instance for (Show (Int -> Int))
arising from a use of ‘quickCheck’
In the expression: quickCheck test
In an equation for ‘it’: it =
浏览 3提问于2015-09-22得票数 7
回答已采纳
我正在尝试为二元有理数的实现编写以下测试。 import Numeric.Natural
import Test.Hspec
import Test.Hspec.QuickCheck
import Dyadics
dyadic_add :: Integer -> Natural -> Integer -> Natural -> Bool
dyadic_add n1 p1 n2 p2 =
dyadic_to_rational (d1 `plus` d2) == (dyadic_to_rational d1) + (dyadic_to_rational d
浏览 10提问于2021-11-02得票数 1
回答已采纳
我有两个功能。它们是：
f1 [] = []
f1 (x:xs) = if contains x xs then f1 xs else x:f1 xs
和
f6 xs = f1 (rev xs)
这两个函数除了返回包含一个元素的空列表和任何列表之外，都返回相同的列表是没有意义的，但是在此函数上运行quickcheck时：
prop_sort6 xs = (f1 xs == f6 xs) == True
所有的测试都通过了。为什么是这种情况？
编辑：
例如，这样做：(f1 [1,2,3] == f6 [1, 2, 3])显然会导致False，但是quickcheck仍然会通过。
浏览 4提问于2021-05-26得票数 7
回答已采纳
我想使用QuickCheck包，所以我使用了cabal install QuickCheck，然后我得到了
Warning: You asked to install executables, but there are no executables in
target: QuickCheck. Perhaps you want to use --lib to install libraries
instead.
然后我才知道做这件事的正确方法
cabal install --lib QuickCheck
在此之后，我试图找到如何让它工作，但无法找到确切的方法。我是一个初学者，所以任何帮助都会
浏览 7提问于2020-06-17得票数 1
假设我想为(!!)函数编写一些单元测试。
my_prop xs n = ...
我希望将n限制为仅有效的索引，并且我知道我可以这样做
my_prop xs n = (not.null) (drop n xs) ==> ...
但这使得绝大多数生成的案例都是无效的，并被丢弃。有没有一种方法可以让QuickCheck首先生成xs列表，然后使用它的值只生成有效的n案例
浏览 0提问于2012-10-11得票数 16
回答已采纳
1回答
不过，我正在尝试使用QuickCheck库安装这个库，尽管安装是成功的，但是程序没有运行。我用了命令：
cabal install QuickCheck
安装完毕。我将其导入haskell文件，如下所示：
import Test.QuickCheck
但是，我得到的错误是没有找到QuickCheck模块：
error:
Could not find module `Test.QuickCheck'
Use -v (or `:set -v` in ghci) to see a list of the files searched for.
|
1 | import T
浏览 4提问于2020-04-28得票数 1
1回答
我刚刚开始使用FsCheck，想要更深入地挖掘，我有以下测试用例：
[Property]
public void some_test(HttpStatusCode httpStatusCode)
现在，我只想要失败的httpStatusCode，我如何使用FsCheck来实现？我有以下代码：
Prop.ForAll<HttpStatusCode>(code => new Func<bool>(() => !new HttpResponseMessage(code).IsSuccessStatusCode).When(true)).QuickCheck();
浏览 2提问于2017-07-20得票数 0
我正努力让这个与QuickCheck2一起工作。由于示例使用了QuickCheck 1，我得到了上面页面中提到的以下错误。我假设使用QuickCheck2通常是首选的，但是如何与测试框架一起使用呢？
错误：
No instance for (QuickCheck-1.2.0.0:Test.QuickCheck.Testable
(Gen Prop))
提前谢谢。
如果导入Test.Framework.Providers.QuickCheck2，将得到以下错误：
del-me.hs:41:17:
No instance for (QuickCheck-2.5.1.1:Test.
浏览 2提问于2013-05-14得票数 1
回答已采纳
安装了QuickCheck，
我再次安装cabal install QuickCheck-1.2.0.0
并再次加载，但出现错误
找不到模块Test.QuickCheck.Batch': It is a member of the hidden package快速检查-1.2.0.0‘。
它是隐藏包，怎么办？
ghc -o tryprog hello.hs -package QuickCheck-1.2.0.0 :无法满足-package QuickCheck-1.2.0.0 (使用-v了解更多信息)
除了这个错误，如何使用包quickcheck-1.2.0.0加载.hs文件？
这道题
浏览 1提问于2011-04-14得票数 4
回答已采纳
2回答
背景
为了好玩，我正在尝试编写一个快速检查的属性，它可以测试背后的基本思想。
选择两个不同的素数，p和q。
让N = p*q
e是从到(p-1)(q-1)的一些数字(在实践中，e通常是3，用于快速编码)
d是e模(p-1)(q-1)的
对于所有像x这样的1 < x < N，(x^e)^d = x modulo N总是真实的
换句话说，x是" message "，将其提升到eth power mod N是“编码”消息的行为，而将编码的消息提升到dth power mod N是“解码”消息的行为。
(这个属性对于x = 1来说也是微不足道的，这是
浏览 5提问于2011-02-20得票数 13
回答已采纳
我创建了自己的myzipWith函数，并希望将其与使用quickCheck的原始zipWith进行比较。
myzipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
myzipWith a y [] = []
myzipWith a [] y = []
myzipWith a (x:xs) (z:zs) = [a x z] ++ myzipWith a xs zs
prop_zip x y z = myzipWith x y z == zipWith x y z
当我通过键入quickCheck prop_zip运行qui
浏览 2提问于2021-04-22得票数 0
我在我的mac上使用下面的命令栈ghci -package QuickCheck安装了QuickCheck。但仍然无法加载模块
Part1.hs:3:1: error:
Could not find module ‘Test.QuickCheck’
Use -v (or `:set -v` in ghci) to see a list of the files searched for.
|
3 | import Test.QuickCheck
| ^^^^^^^^^^^^^^^^^^^^^^
Failed, no modules loaded. ```
浏览 3提问于2021-01-13得票数 0
我尝试在一些嵌套列表上运行QuickCheck，如下所示：
type Constraint = Text
data Value = Value [Constraint]
data Literal = Literal Value [Value]
type Formula = [Literal]
因此，公式是一个文字列表，每个文字包含一个谓词和一些参数；谓词/参数是字符串形式的约束的析取的值。这给了我们一个列表，呼！
如果我的某个QuickCheck属性失败了，我可能会得到一大堆难以理解的输出。在尝试收缩之前，我常常通过使用只能生成一小部分(小)值的任意实例来绕过这个问题。为我的每种类型实现收缩函
浏览 2提问于2012-01-09得票数 32
这里是哈斯克尔的初学者。
我有一个函数，还有一堆用来测试它的属性，我已经用它编写了quickcheck。当我在解释器中单独运行这些属性时，这些属性就可以工作了，并且函数可以正常运行。
然而，手动快速检查解释器中的每个属性(quickCheck prop_this，quickCheck prop_that)是枯燥、单调和耗时的。我想把所有这些都放在一个程序中，让这个程序运行所有的快速检查。这就是我被困的地方。
该方案的基本框架如下：
imports...
function_which_i_want_to_quickcheck
prop_1
prop_2
etc...
main = do
浏览 0提问于2014-03-02得票数 1
1回答
我有两个foo函数必须满足的属性：
prop_1 :: [Int] -> Bool
prop_1 xs = foo xs id == xs
prop_2 :: [Int] -> (Int -> Int) -> (Int -> Int) -> Bool
prop_2 xs f g = foo (foo xs f) g == foo xs (g . f)
我试图使用quickCheck检查上述属性是否满足以下函数：
foo :: [a] -> (a -> b) -> [b]
foo xs f = []
当我尝试使用quickCheck运行p
浏览 1提问于2019-06-28得票数 1
回答已采纳
有没有一个版本的quickcheck为Javascript工作，并得到很好的维护？我已经找到了几个像check.js和claire这样的例子，但是它们似乎都不支持失败测试用例的萎缩，这一直让我觉得是整个问题中最有用的部分。
浏览 9提问于2014-05-12得票数 13
回答已采纳
2回答
假设我有两个函数：
fn function_with_one_argument(one: i64) -> bool{
one==one // irrelevant
}
fn function_with_two_arguments(one: i64, two: i64) -> bool {
one==two // irrelevant
}
给定一个不同的输入值，我想返回一个不同的函数指针：
fn main() {
println!("\n\n{:?}\n\n", get_function_pointer(1)(321));
print
浏览 23提问于2017-03-03得票数 0
回答已采纳
我有一个戒指类型的类，如下所示：
class Ring a where
addId :: a
addInverse :: a -> a
mulId :: a
add :: a -> a -> a
mul :: a -> a -> a
对于这个类，我有几个实例。
instance Ring Matrix where ...
instance Ring Integer where ...
instance Ring Modulo where ...
为了测试这些实例，我有以下quickcheck测试：
prop_AddId :: (Ring a
浏览 4提问于2014-10-20得票数 4
回答已采纳
声明它支持“报告在失败的QuickCheck运行中使用的种子，因此您可以在必要时再现该失败”。但是，默认的输出不会显示这一点，我也找不到任何命令行选项来打开它。
是否有一种在test-framework中这样做的方法，或者我必须手动从QuickCheck打印？
浏览 4提问于2016-02-09得票数 1
回答已采纳
我正在尝试使用zipWith测试我的QuickCheck实现。我的实现，myZipWith，我想通过与标准函数的比较来进行QuickCheck测试。类似于：
main = do
quickCheck (prop_myZipWith :: (Int -> Int -> Int) -> [Int] -> [Int] -> Bool)
prop_myZipWith :: (a -> b -> c) -> [a] -> [b] -> Bool
prop_myZipWith f x y = (myZipWith x y) == (zipW
浏览 3提问于2017-09-02得票数 3
我的ghci版本是8.4.3
我试过了
stack install QuickCheck
安装了一些东西。但是当我输入import Test.QuickCheck时，它再次告诉Could not find module ‘Test.QuickCheck’。我怎么才能修好它？
浏览 0提问于2018-11-20得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
