specs2 - 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]ます。