問題タブ [scalacheck]

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

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

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

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

scalacheck ジェネレーターを正しく使用するのに苦労しています。ある範囲の整数パラメーターを持つ任意の配列をテストしたい-コードはほとんど次のとおりです。

ただし、0を含む整数の値を取得します。変更Prop.forAllするProp.forAllNoShrinkと、何らかの理由で機能しますが、明確ではありません。

基本的に、私は次のことをしたいだけです：

しかし、b与えられた範囲で。これを行う最も簡単な方法は何ですか?

私はArbitrary[Source]自分の仕様で次のように構築しています：

フォローチェックをパスするにはどうすればよいですか？（つまりi、範囲内に制限する方法）

REPLでScalaCheckを実行しようとしています。

そこで、次の sbt プロジェクトを作成しましたbuild.sbt。

次に、 and と入力reloadしupdatedてライブラリを取得しました。

最後に、を実行した後console、次の方法でインポートしようとしましたGen：

docsを見ると、このインポートを実行できない理由がわかりません。

プロパティベースのテストを行うためにscalatestとscalacheckを使用しています。私はscalaとこれらのライブラリの両方に慣れていないので、このコードは実際よりもはるかに醜くないふりをします.

次のようなテストがあります。

scalacheck が生成している値を確認するにはどうすればよいですか? 現在、次のようにテストを実行しています。

しかし、私が得るのは合格/不合格の出力だけです。