Merge pull request #789 from ashawley/quiet-proofs

Verbosity level for pretty-printing proofs
typelevel · Apr 10, 2021 · a12c5e9 · a12c5e9
2 parents 4accdb0 + b18d7ab
commit a12c5e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/scala/org/scalacheck/util/Pretty.scala b/src/main/scala/org/scalacheck/util/Pretty.scala
@@ -160,6 +160,7 @@ object Pretty {
       if(ls.isEmpty) ""
       else "> Labels of failing property: " / ls.mkString("\n")
     val s = res.status match {
+      case Test.Proved(args) if(prms.verbosity <= 1) => "OK, proved property."
       case Test.Proved(args) => "OK, proved property."/prettyArgs(args)(prms)
       case Test.Passed => "OK, passed "+res.succeeded+" tests."
       case Test.Failed(args, l) =>