問題タブ [scalacheck]

ケース クラスにShrink インスタンスを実装しています。マクロがその仕事をすることができるように私には思えます。誰かが実装しましたか？

scalatest.FlatSpec テスト ファイルで scalacheck プロパティ ジェネレーターを使用しようとしています。

テストは失敗し、junit フレームワーク (および私の場合は eclipse) によって報告されるはずですが、テスト パスとエラーはコンソールに表示されるだけです。

出力は次のとおりです

エラーがjunitフレームワークにバブルアップすることを期待していました。

次の依存関係があります。

ScalaTest を使用してプロパティ ベースのテストを実行しようとしています。2 つのカスタム ジェネレーターを使用していくつかのテスト ケースを作成しましたが、正常に動作します。ただし、次のように、1 つのカスタム ジェネレーターで forAll を定義した瞬間:

次のようにEclipseでコンパイルエラーが発生しました：

型の不一致; found : (org.scalacheck.Gen[A], DataGeneratorTest.this.PropertyCheckConfigParam*) required: ?0C[?0E] あいまいであるため、暗黙の変換は適用されないことに注意してください: どちらも型 [A] のオブジェクト Predef 内のメソッド ArrowAssoc (self: A)ArrowAssoc[A] とメソッド Ensuring in object Predef 型 [A](self: A)Ensuring[A] は、(org.scalacheck.Gen[A], DataGeneratorTest.this.PropertyCheckConfigParam* からの可能な変換関数です。 )～?0C[?0E]

ScalaTest のドキュメントで例を試してみました: http://www.scalatest.org/user_guide/generator_driven_property_checks

することによって

同じエラーが発生しました。

ただし、SBT でコンパイルすると、エラーは発生しません。

sbt compile Java HotSpot(TM) 64-Bit Server [info] Loading project definition from C:\xxx [info] Set current project to cree (in build file:/C:/xxx) [info] 20個のScalaソースをCにコンパイル:\xxx\target\scala-2.11\classes...

[成功] 合計時間: 37 秒、2015 年 3 月 26 日 20:04:15 に完了

何が悪いのかわかりません。誰か助けてくれませんか？ありがとう。

環境：

• OS: Windows 7 エンタープライズ SP1 64 ビット
• スカラ IDE: 4.0.0
• スカラのバージョン: 2.11.6
• ScalaTest バージョン: 2.2.4
• ScalaCheck バージョン: 1.12.2

このような：

以下のコードで、Specs2 に最初のテストを実行させるにはどうすればよいですか? 「印刷物」テストは、失敗するはずのときに合格します。forAll()が原因で、セクション内のコードが実行されていませんnew Scope。

printlnステートメントは、トレース出力専用です。「一」で始まる行があれば教えてください。

空Scopeは問題を示すためだけのものです。これは、実際に変数を使用するコードから取り除かれていScopeます。

ここに私の出力があります：

PS プロジェクトの依存関係をバージョン 2.4.15 から specs2 3.5 に更新しました。まだこの問題があります...

scalacheckを使用すると、次のようにいくつかのプロパティを定義できます。

成功したテストのデフォルトの最小数 ( minSuccessfulTests ) を、たとえば"myProp2".

これを行う方法はありますか？