回答情况：
提问时间：
问题标签：
我想创建生成器(用于ScalaCheck)来生成命题公式。如果我创建一个生成器来使用变量和逻辑运算符(例如:A和B)生成公式，那么一切都是正确的。但是如果我加上或者，暗示或者不是，ScalaCheck会生成Exception: java.lang.StackOverflowError。import org.scalacheck.Propimport org.scalacheck.Gen
object FormulaWffSpecific
浏览 10修改于2019-04-22得票数 2
回答已采纳
我遵循的是完全相同的指令：import org.scalacheck._操作系统版本: Mac OSX El Capitan 10.11.6java版本: 1.8.0_45
scalacheck: 2.11.1
浏览 11提问于2016-09-06得票数 0
1回答
我对ScalaCheck (和Scala完全)还很陌生，所以这可能是一个相当简单的解决方案。import Shrink._import Arbitrary.arbitrary{AST, Operation}
import Gen._import P
浏览 2修改于2017-03-03得票数 6
回答已采纳
我一直在尝试编写一些scalacheck属性来验证Codility TapeEquilibrium问题。对于那些不知道问题的人，请参阅以下链接：。
我编写了以下不完整的代码。
浏览 5提问于2019-04-26得票数 1
我试图用ScalaCheck为BST创建一个Gen，但是当我调用.sample方法时，它给我的是java.lang.NullPointerException。我哪里错了？class Node(left: Tree, right: Tree, v: Int) extends Tree
import org.scalacheck
浏览 28修改于2019-03-04得票数 4
回答已采纳
1回答
关联组成(.)和标识(id)：我想用ScalaCheck测试一下。或者，换句话说，有没有可能创建任意A => B函数的生成器，并将其提供给ScalaCheck？
浏览 0修改于2012-05-10得票数 17
回答已采纳
我正在尝试用scalacheck测试一个java类。例如，我在...import org.scalacheck.Gen.{choose, oneOf}import org.scalacheck.Gen.chooseimport org.scalacheck.Prop._
class QueueTest extends Properties("Queue&qu
浏览 1提问于2014-09-03得票数 1
回答已采纳
我刚接触过Scala、Scalacheck和specs2，所以如果问题很明显的话，请原谅我。我试着找一个例子，但找不到任何相关的东西。基本上，我正在寻找一种使用specs2创建测试类的方法，它定义一个Prop.forAll属性，该属性作为参数接收另一个scalacheck属性(如果有可能的话)、生成器( GenA )和文件路径，并检查该属性是否通过确定的样本集
浏览 5修改于2016-04-29得票数 0
回答已采纳
._
startsWith使用sbt配置： "org.specs2" %% "specs2-core" % "3.8.5" % "test",
"org.scalacheck" %% &
浏览 1提问于2016-12-04得票数 0
回答已采纳
我想使用ScalaTest的Checkers特性来使用来自ScalaCheck的ScalaTest案例。] = Arbitrary(Gen.choose(new LocalDate(0L), new LocalDate(Long.MaxValue)))它不编译，说，
错误:找不到参数c: org.scalacheck.Chooseorg.joda.time.LocalDate
浏览 5提问于2011-09-28得票数 5
我正在使用Scalacheck，并希望生成给定大小的集合。在scalaCheck中有一个特殊的函数Gen.listOfN(size, Gen[T])。
浏览 2修改于2014-01-11得票数 1
我使用标题中提到的框架，配置如下：
"org.scalacheck" %% "scalacheck" % "1.12.4java.lang.ClassCastException: cannot assign instance of scala.collection.immutable.List$SerializationProxy to field org.<
浏览 1修改于2015-08-27得票数 6
回答已采纳
在我的测试中，我相当广泛地使用了Specs2 + ScalaCheck，并且有一些模式需要考虑。
浏览 0提问于2014-02-24得票数 9
使用，可以这样定义一些： property("myProp1") = forAll { (n:Int, m:Int) => } property("myProp3") = forAll { ... }我只想覆盖单个属性的默认最小成功测试数()，例如仅针对"myProp2"。
有没有办法做到这一
浏览 2提问于2015-05-04得票数 1
我有一个关于scalacheck的whenever子句的基本问题。由于某些原因，我的编译器无法识别compiler，也无法识别(conditional subset) ==>部分。(我在Coursera上跟随了Odersky的第二个scala课程，并且我已经编写了一个scalacheck属性，如下所示：h:是否有需要额外导入的内容import Arbitrary._
浏览 0提问于2016-08-22得票数 0
我有以下用于ScalaCheck的代码。其思想是使用Java HashSet作为容器自动生成整数集。下面的代码几年前还能用，但现在不能编译了。._
import org.scalacheck.Prop._...simpletest/SimpleSpecification.scala:26: could not find implicit value for par
浏览 20提问于2016-09-26得票数 0
回答已采纳
_.isEmpty)validPairsString: org.scalacheck.Gen[List[(String, Option[String])]]
这使用的是scala 2.9.2和scalacheck
浏览 2提问于2013-04-30得票数 1
回答已采纳
我可以让它运行scalacheck，但在下面(当我使用sbt test运行时)，它没有打印出反例。如果没有反例，这几乎是无用的：import org.scalacheck.Propimport org.specs2.ScalaCheckimport org.scalac
浏览 3提问于2016-09-03得票数 0
build.sbt中添加了以下内容 <other entries> <other entries>}[info] Reso
浏览 2修改于2013-12-24得票数 7
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号