回答情况：
提问时间：
问题标签：
1回答
不过，我正在尝试使用QuickCheck库安装这个库，尽管安装是成功的，但是程序没有运行。我用了命令：安装完毕。我将其导入haskell文件，如下所示：但是，我得到的错误是没有找到QuickCheck模块： Could not find module`Test.QuickCheck'
Use -v (or `:set -v` in ghci) to see a lis
浏览 4提问于2020-04-28得票数 1
我希望在一个函数中使用quickcheck来测试Maclaurin系列是否等于1/x，用于x>1和x<2。但是，对于n的小值，quickcheck返回假测试。此外，如果我设置了n>100限制，例如，quickcheck返回：
“放弃了！只通过了0次考试。”
浏览 1修改于2017-06-12得票数 0
回答已采纳
3回答
我读过关于quickCheck的文章并尝试过，但我似乎不能让它工作，这是代码test f e ls = foldl'' f e ls == foldl f e lsNo instance for (Show (
浏览 0修改于2015-01-04得票数 6
回答已采纳
然而，手动快速检查解释器中的每个属性(quickCheck prop_this，quickCheck prop_that)是枯燥、单调和耗时的。function_which_i_want_to_quickcheck
prop_2 quickCheck prop_1 etc...
我相信，上面的所有东西都很好，因为没有它，它们都会编译和工作。我尝试过几个变体，即没有do、使用do、使用'x
浏览 0修改于2014-03-03得票数 1
我为一个函数编写了一个QuickCheck属性，该函数将两个排序的输入合并为一个排序的输出： if (sorted xs && sorted ys) then在QuickCheck中有没有更好的“条件属性”语法？
浏览 3提问于2012-10-15得票数 14
回答已采纳
我正在使用QuickCheck测试，试图测试一个简单的函数calculateStrengthSingle (请参阅下面的测试源)module Fighterimport Fighter
Fighter.calculateStrengthSinglequantity fighter >= Strength 0.0
instance QuickCheck.Arbitra
浏览 7提问于2013-08-12得票数 1
回答已采纳
我正在努力学习QuickCheck并了解它是如何工作的。quickCheck函数的数据类型是另一方面，我有一个功能prop_rev_involutive l = (reverse $ reverse l) == l
用于quickCheck的输入。运行quickCheck prop_rev_involutiv
浏览 0修改于2020-03-04得票数 1
回答已采纳
考虑一下的下列测试，test xs ys = reverse (xs ++ ys) ===> [a] -> [a] -> Bool注意Int的列表[1]
浏览 2修改于2015-04-08得票数 9
回答已采纳
我是快速检查的新手，在我的程序中，导入Test.QuickCheck工作，但导入Test.Tasty.QuickCheck将报告“未能找到模块‘Test.Tasty’”
浏览 0提问于2018-09-30得票数 2
不管怎样，我使用QuickCheck和HUnit来完成这项工作。我试着用quickcheck做同样的设置，
import qualified Distribution.TestSuite.QuickCheck2 as CabalQuickCheck但是，如果我使用相同的设置来执行quickcheck测试，cabal告诉我它确实找到了测试套件，但其中没有测试。我现在有点不知所措，我可以使用quickcheck本身运行这些quickcheck测试，但不能使用cabal，我希望能够快速
浏览 0修改于2017-05-23得票数 10
我在我的mac上使用下面的命令栈ghci -package QuickCheck安装了QuickCheck。但仍然无法加载模块 Could not find module ‘Test.QuickCheck’3 | import Test.QuickCheckFailed, no modules loaded. ```
浏览 3修改于2021-01-13得票数 0
是否有针对Smalltalk的QuickCheck模块，特别是针对Gnu Smalltalk、Squeak和/或Pharo？
浏览 1提问于2011-08-06得票数 4
回答已采纳
QuickCheck 1中的函数verboseCheck似乎在QuickCheck 2中缺失(或者至少我找不到它)。有没有其他方法来显示在测试期间使用了哪些值？
浏览 0提问于2010-03-26得票数 10
回答已采纳
在尝试安装时，我运行$ stack install QuickCheck。该命令暂停一秒钟，然后返回到shell，只打印一个空行。但是，这会使而不是看起来成功地安装了QuickCheck，因为运行$ ghc-pkg list无法找到包。$ ghc-pkg list | grep QuickCheck
而且，因为我无法在编译导入该模块的文件时导入Test.QuickCheck。$
我从应该安装它的主文件夹运行stack install <e
浏览 4修改于2017-08-10得票数 0
回答已采纳
我使用cabal在沙箱环境中安装QuickCheck，它看起来不错Resolving dependencies...Installed QuickCheck-2.12.4C:\\Users\yashi\OneDrive\Desktop\Ex1.hs:24:1: error: Use -v to see a lis
浏览 2修改于2018-09-20得票数 1
我被困住的一件事是使用QuickCheck运行测试。module Main where
import Test.QuickCheckprop_PermInvariant xs = length xs == length (reverse xs)main = quickCheck-1.0
main-
浏览 5提问于2022-05-29得票数 0
回答已采纳
我正在尝试通过cabal在Ubuntu 10.04上安装quickcheck 2。无论我尝试做什么，我总是会得到以下结果：* QuickCheck它告诉我2.1.1.1是可用的，但它只安装了1.2.0.0。为什么我不能让它实际安装最新版本？
浏览 3修改于2011-04-21得票数 5
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号