Merge pull request #564 from armanbilge/patch-4

Use `def` to override `scalaCheckInitialSeed`
scalameta · Aug 17, 2022 · 2fea01d · 2fea01d
2 parents 319e386 + 3ad12f1
commit 2fea01d
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/docs/integrations/scalacheck.md b/docs/integrations/scalacheck.md
@@ -131,7 +131,7 @@ a suggestion on how to reproduce it:
 Failing seed: CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB=
 You can reproduce this failure by adding the following override to your suite:
 
-  override val scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
+  override def scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
 
 ```
 
@@ -140,7 +140,7 @@ To reproduce the failure you can follow the suggestion to fix the seed:
 ```diff
  class MySuite extends ScalaCheckSuite {
 
-+  override val scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
++  override def scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
 
    // ...
  }

diff --git a/munit-scalacheck/shared/src/main/scala/munit/ScalaCheckSuite.scala b/munit-scalacheck/shared/src/main/scala/munit/ScalaCheckSuite.scala
@@ -74,7 +74,7 @@ trait ScalaCheckSuite extends FunSuite {
           s"""|Failing seed: ${initialSeed.toBase64}
               |You can reproduce this failure by adding the following override to your suite:
               |
-              |  override val scalaCheckInitialSeed = "${initialSeed.toBase64}"
+              |  override def scalaCheckInitialSeed = "${initialSeed.toBase64}"
               |""".stripMargin
         seedMessage + "\n" + resultMessage
       }

diff --git a/tests/shared/src/main/scala/munit/ScalaCheckExceptionFrameworkSuite.scala b/tests/shared/src/main/scala/munit/ScalaCheckExceptionFrameworkSuite.scala
@@ -42,7 +42,7 @@ class ScalaCheckExceptionFrameworkSuites
          |==> failure munit.ScalaCheckExceptionFrameworkSuite.hide my stacks - Failing seed: 9WNU_CSZAQwiiPWDlHs4NWI-knIDEKCsgGqdhZgNKnB=
          |You can reproduce this failure by adding the following override to your suite:
          |
-         |  override val scalaCheckInitialSeed = "9WNU_CSZAQwiiPWDlHs4NWI-knIDEKCsgGqdhZgNKnB="
+         |  override def scalaCheckInitialSeed = "9WNU_CSZAQwiiPWDlHs4NWI-knIDEKCsgGqdhZgNKnB="
          |
          |Exception raised on property evaluation.
          |> ARG_0: 0

diff --git a/tests/shared/src/main/scala/munit/ScalaCheckFrameworkSuite.scala b/tests/shared/src/main/scala/munit/ScalaCheckFrameworkSuite.scala
@@ -59,7 +59,7 @@ object ScalaCheckFrameworkSuite
          |Failing seed: CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB=
          |You can reproduce this failure by adding the following override to your suite:
          |
-         |  override val scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
+         |  override def scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
          |
          |Falsified after 0 passed tests.
          |> ARG_0: -1
@@ -80,7 +80,7 @@ object ScalaCheckFrameworkSuite
          |Failing seed: CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB=
          |You can reproduce this failure by adding the following override to your suite:
          |
-         |  override val scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
+         |  override def scalaCheckInitialSeed = "CTH6hXj8ViScMmsO78-k4_RytXHPK_wSJYNH2h4dCpB="
          |
          |Falsified after 0 passed tests.
          |> ARG_0: -1