Scalatest GeneratorDrivenPropertyПроверяет начальное начальное число - PullRequest
Новая
       51

Scalatest GeneratorDrivenPropertyПроверяет начальное начальное число

2 голосов
/ 10 октября 2019

Я использую Scalatest 3.1.0-SNAP13 и не могу найти способ указать начальный параметр инициализации из этого PR . Я использую SBT для запуска теста, поэтому, если есть способ указать эту опцию в build.sbt, это было бы идеально.

Ответы [ 2 ]

2 голосов
/ 10 октября 2019

Флаг -S, кажется, отключен в 3.1.x: 

parseLongArgument(seedArgs, "-S") match {
  case Some(seed) => // Randomizer.defaultSeed.getAndSet(Some(seed))
    println("Note: -S for setting the Randomizer seed is not yet supported.")
  case None => // do nothing
}

Однако, кажется, включен в 3.2.x,так что попробуйте 

libraryDependencies += "org.scalatest" %% "scalatest" % "3.2.0-M1" % Test

и 

testOptions in Test += Tests.Argument(TestFrameworks.ScalaTest, "-S", "1568769615146")
0 голосов
/ 11 октября 2019

Мне удалось заставить его работать с: 

// specify an initial seed 0
Test / testOptions += Tests.Argument(TestFrameworks.ScalaTest, "-S", "0")

Результат: 

[info] SummaryTest:
[info] - hello *** FAILED *** (49 milliseconds)
[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation. (SummaryTest.scala:8)
[info]     Falsified after 0 successful property evaluations.
[info]     Message: 0 was not greater than 1
[info]     Location: (SummaryTest.scala:10)
[info]     Occurred when passed generated values (
[info]       ""
[info]     )
[info]     Init Seed: 0
...