scala - ScalaCheck ジェネレーターで線形進行を作成することは可能ですか?

Question

初めて遊んでいる ScalaCheck についての初心者の質問があります。Gen[Int]たとえば0からNまで直線的に進むaを作成することは可能ですか.

forAllScalaCheck で使用すると、入力Intが 1 増加します。

この例で値を増やしてテストしたいと思います

"Increase" should "always increase" in {
  forAll(validNumbers){ i:Int =>
    increase(i) should be (i + 1)
  }
}

たぶん、これは ScalaChecks の目的を破壊するので、ScalaTest でこの方法でテストする必要があります。