限制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]。