限制Gen.posNum在一个范围内

Question

我正在我的规范中构建Arbitrary[Source]，如下所示：

implicit def arbSource = Arbitrary {
  for {
    i: Int <- Gen.posNum[Int]
    ss: List[String] <- Gen.listOfN(i, Gen.alphaStr)
  } yield Source.fromString(ss.mkString("\n"))
}

如何进行以下检查？ （即如何将i限制在一定范围内）

def test = arbSource{s => s.getLines().toSeq.size must beBetween(1, 200)}

Answer 1

使用Gen.choose(min, max)代替Gen.posNum[Int]。