Не удалось запустить тест с GeneratorDrivenPropertyChecks

Question

Я хотел бы использовать scalacheck с помощью scalatest для тестирования некоторых объектов со случайными входными значениями. Во-первых, я попробовал один простой пример, но он выдал ошибку, если я запустил ее через Eclipse или через sbt. Код:

package test 

    import org.scalatest._ 
    import org.scalatest.prop.GeneratorDrivenPropertyChecks 
    class SamplePropGenCheck extends PropSpec with GeneratorDrivenPropertyChecks with Matchers { 

     property("Int simple test") { 
     forAll("a") { a : Int => 
      whenever (a > 0) { 
      (a * 2) should be (a + a) 
      } 
     } 
     } 
    } 

Во время выполнения, у меня есть эта ошибка:

*** RUN ABORTED *** 
     java.lang.AbstractMethodError: 
    org.scalatest.prop.Configuration$$anon$1.TestParams()Lorg/scalacheck/Test$Parameters$TestParams$; 
     at org.scalacheck.Test$Parameters$class.$init$(Test.scala:98) 
     at org.scalatest.prop.Configuration$$anon$1.<init>(Configuration.scala:332) 
     at org.scalatest.prop.Configuration$class.getParams(Configuration.scala:332) 

Я использую scalatest_2.11-2.2.1 и scalacheck_2.11-1.12.3 с Скале 2.11.6

Когда я делаю другой тест, с TableDrivenPropertyChecks вместо GeneratorDrivenPropertyChecks, он работает хорошо.

Я не нашел никакой помощи в документах или в google. Это ошибка кода или ошибка или проблема с версией? Кто-нибудь может помочь мне найти решение?

Answer 1

Попробуйте понизиться до сказкашека 1.12.2.

Я видел ту же ошибку с scalacheck_2.10-1.12.3. Он работает в scalacheck_2.10-1.12.2.

Редактировать: ScalaCheck 1.12.3 имеет проблемы с совместимостью с ScalaTest, которая исправлена ​​в 1.12.4-SNAPSHOT. https://github.com/rickynils/scalacheck/issues/165