Build Logs

1##################################

2Clonning https://github.com/typelevel/scalacheck.git into /build/repo using revision v1.19.0

3##################################

4Note: switching to 'ccfa2b2650f5cf63dfe9ad4228ead5c6d92154be'.

6You are in 'detached HEAD' state. You can look around, make experimental

7changes and commit them, and you can discard any commits you make in this

8state without impacting any branches by switching back to a branch.

10If you want to create a new branch to retain commits you create, you may

11do so (now or later) by using -c with the switch command. Example:

13 git switch -c <new-branch-name>

15Or undo this operation with:

17 git switch -

19Turn off this advice by setting config variable advice.detachedHead to false

21Would override fixed Scala version: 3.3.6

22----

23Preparing build for 3.8.0-RC2

24Scala binary version found: 3.8

25Implicitly using source version 3.8

26Scala binary version found: 3.8

27Implicitly using source version 3.8

28Would try to apply common scalacOption (best-effort, sbt/mill only):

29Append: ,REQUIRE:-source:3.8

30Remove: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

32Try apply source patch:

33Path: build.sbt

34Pattern: val Scala3 = "3.3.6"

35Replacement: val Scala3 = "3.8.0-RC2"

36Starting compilation server

37Compiling project (Scala 3.7.3, JVM (17))

38Compiled project (Scala 3.7.3, JVM (17))

39Successfully applied pattern 'val Scala3 = "3.3.6"' in build.sbt

40----

41Starting build for 3.8.0-RC2

42Execute tests: true

43sbt project found:

44grep: /build/repo/project/plugins.sbt: No such file or directory

45No prepare script found for project typelevel/scalacheck

46##################################

47Scala version: 3.8.0-RC2

48Targets: org.scalacheck%scalacheck

49Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala3 = \"3.3.6\"","replaceWith":"val Scala3 = \"<SCALA_VERSION>\""}]}

50##################################

51Using extra scalacOptions: ,REQUIRE:-source:3.8

52Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

53[sbt_options] declare -a sbt_options=()

54[process_args] java_version = '17'

55[copyRt] java9_rt = '/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8/rt.jar'

56# Executing command line:

57java

58-Dfile.encoding=UTF-8

59-Dcommunitybuild.scala=3.8.0-RC2

60-Dcommunitybuild.project.dependencies.add=

61-Xmx7G

62-Xms4G

63-Xss8M

64-Dsbt.script=/root/.sdkman/candidates/sbt/current/bin/sbt

65-Dscala.ext.dirs=/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8

66-jar

67/root/.sdkman/candidates/sbt/1.11.5/bin/sbt-launch.jar

68"setCrossScalaVersions 3.8.0-RC2"

69"++3.8.0-RC2 -v"

70"mapScalacOptions ",REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""

71"set every credentials := Nil"

72"excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}"

73"removeScalacOptionsStartingWith -P:wartremover"

75moduleMappings

76"runBuild 3.8.0-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala3 = \"3.3.6\"","replaceWith":"val Scala3 = \"<SCALA_VERSION>\""}]}""" org.scalacheck%scalacheck"

78[info] welcome to sbt 1.11.5 (Eclipse Adoptium Java 17.0.8)

79[info] loading settings for project repo-build from akka.sbt, plugin.sbt, plugins.sbt...

80[info] loading project definition from /build/repo/project

81[info] compiling 4 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...

82[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...

83[info] Compilation completed in 9.018s.

84[info] done compiling

85[info] loading settings for project root from build.sbt...

86[info] set scmInfo to https://github.com/typelevel/scalacheck

87[info] set current project to scalacheck (in build file:/build/repo/)

88Execute setCrossScalaVersions: 3.8.0-RC2

89OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in coreJVM/crossScalaVersions

90OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in rootNative/crossScalaVersions

91OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in coreJS/crossScalaVersions

92OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in rootJS/crossScalaVersions

93[info] set scmInfo to https://github.com/typelevel/scalacheck

94OpenCB::Limitting incorrect crossVersions List() -> List(2.13.16) in root/crossScalaVersions

95OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in bench/crossScalaVersions

96OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in coreNative/crossScalaVersions

97OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in rootJVM/crossScalaVersions

98[info] set current project to scalacheck (in build file:/build/repo/)

99[info] Setting Scala version to 3.8.0-RC2 on 7 projects.

100[info] Switching Scala version on:

101[info] rootJS (3.8.0-RC2, 2.12.20, 2.13.16)

102[info] coreNative (3.8.0-RC2, 2.12.20, 2.13.16)

103[info] coreJS (3.8.0-RC2, 2.12.20, 2.13.16)

104[info] coreJVM (3.8.0-RC2, 2.12.20, 2.13.16)

105[info] rootJVM (3.8.0-RC2, 2.12.20, 2.13.16)

106[info] rootNative (3.8.0-RC2, 2.12.20, 2.13.16)

107[info] bench (3.8.0-RC2, 2.12.20, 2.13.16)

108[info] Excluding projects:

109[info] * root (2.13.16)

110[info] Reapplying settings...

111[info] set scmInfo to https://github.com/typelevel/scalacheck

112[info] set current project to scalacheck (in build file:/build/repo/)

113Execute mapScalacOptions: ,REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

114[info] Reapplying settings...

115[info] set scmInfo to https://github.com/typelevel/scalacheck

116[info] set current project to scalacheck (in build file:/build/repo/)

117[info] Defining Global / credentials, bench / credentials and 6 others.

118[info] The new values will be used by Compile / scalafmtOnly, IntegrationTest / scalafmtOnly and 69 others.

119[info] Run `last` for details.

120[info] Reapplying settings...

121[info] set scmInfo to https://github.com/typelevel/scalacheck

122[info] set current project to scalacheck (in build file:/build/repo/)

123Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}

124[info] Reapplying settings...

125OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:

127 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)

128 Did you mean allExcludeDependencies ?

129 , retry without global scopes

130[info] Reapplying settings...

131[info] set scmInfo to https://github.com/typelevel/scalacheck

132[info] set current project to scalacheck (in build file:/build/repo/)

133Execute removeScalacOptionsStartingWith: -P:wartremover

134[info] Reapplying settings...

135[info] set scmInfo to https://github.com/typelevel/scalacheck

136[info] set current project to scalacheck (in build file:/build/repo/)

137[success] Total time: 0 s, completed Nov 28, 2025, 12:24:07 PM

138Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala3 = \"3.3.6\"","replaceWith":"val Scala3 = \"<SCALA_VERSION>\""}]}

139Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),Full,List()))

140Starting build...

141Projects: Set(coreJVM)

142Starting build for ProjectRef(file:/build/repo/,coreJVM) (scalacheck)... [0/1]

143OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Global

144OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'

145OpenCB::Filter out '-feature', matches setting pattern '^-?-feature'

146Compile scalacOptions: -encoding, UTF-8, -unchecked, -Wunused:implicits, -Wunused:explicits, -Wunused:imports, -Wunused:locals, -Wunused:params, -Wunused:privates, -Wvalue-discard, -language:implicitConversions, -Xkind-projector, --java-output-version:17, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

147[info] compiling 25 Scala sources to /build/repo/core/jvm/target/scala-3.8.0-RC2/classes ...

174[info] done compiling

175[info] compiling 29 Scala sources to /build/repo/core/jvm/target/scala-3.8.0-RC2/test-classes ...

202[info] done compiling

203[info] + ScalaCheckFrameworkHelper.first prop: OK, proved property.

204[info] + ScalaCheckFrameworkHelper.second prop: OK, proved property.

205[info] + ScalaCheckFrameworkHelper.third prop: OK, proved property.

206[info] + TestFingerprint.propclass: OK, proved property.

207[info] + IntMap.size: OK, passed 100 tests.

208[info] + IntMap.isEmpty: OK, passed 100 tests.

209[info] + IntMap.add: OK, passed 100 tests.

210[info] + IntMap.remove: OK, passed 100 tests.

211[info] + Sbt.suite: OK, proved property.

212[info] + Sbt.exact: OK, proved property.

213[info] + Sbt.exactFull: OK, proved property.

214[info] + Sbt.exactMissing: OK, proved property.

215[info] + Sbt.wildcard: OK, proved property.

216[info] + Sbt.wildcardFull: OK, proved property.

217[info] + Sbt.wildcardMissing: OK, proved property.

218[info] + Sbt.nestedFull: OK, proved property.

219[info] + Sbt.nestedMedium: OK, proved property.

220[info] + Sbt.nestedShort: OK, proved property.

221[info] + Sbt.nestedShouldRunAndDoes: OK, proved property.

222[info] + Sbt.nestedShouldNotRunButDoes: OK, proved property.

223[info] + Shrink JVM.list: OK, passed 100 tests.

224[info] + Shrink JVM.non-empty list: OK, passed 100 tests.

225[info] + Shrink JVM.xmap vector from list: OK, passed 100 tests.

226[info] + SbtNestingFixture.SbtFixture.success: OK, passed 100 tests.

227[info] + Commands.commands: OK, passed 100 tests.

228[info] + Commands.commands with prop evaluated just once: OK, passed 100 tests.

229[info] + Commands Shrinking.Shrunk command sequences always satisfy preconditions: OK, passed 100 tests.

230[info] + Test.workers: OK, passed 100 tests.

231[info] + Test.stopCondition: OK, passed 100 tests.

232[info] + Test.size: OK, passed 100 tests.

233[info] + Test.propFailing: OK, passed 100 tests.

234[info] + Test.propPassing: OK, passed 100 tests.

235[info] + Test.propProved: OK, passed 100 tests.

236[info] + Test.propExhausted: OK, passed 100 tests.

239[info] + Test.propShrunk: OK, passed 100 tests.

240[info] + Test.disabling shrinking works: OK, proved property.

241[info] + Test.Properties.overrideParameters overrides Test.Parameters: OK, proved property.

242[info] + Test.initialSeed is used and then updated: OK, proved property.

243[info] + Test.initialSeed is used and then updated when varying RNG spins: OK, proved property.

244[info] + Prop.Prop.==> undecided: OK, passed 100 tests.

245[info] + Prop.Prop.==> true: OK, passed 100 tests.

246[info] + Prop.Prop.==> short circuit: OK, passed 100 tests.

248[info] + Prop.Prop.&& Commutativity: OK, passed 100 tests.

251[info] + Prop.Prop.&& Identity: OK, passed 100 tests.

252[info] + Prop.Prop.&& False: OK, passed 100 tests.

253[info] + Prop.Prop.&& Undecided: OK, passed 100 tests.

254[info] + Prop.Prop.&& Right prio: OK, passed 100 tests.

255[info] + Prop.Prop.|| Commutativity: OK, passed 100 tests.

257[info] + Prop.Prop.|| Identity: OK, passed 100 tests.

258[info] + Prop.Prop.|| True: OK, passed 100 tests.

259[info] + Prop.Prop.|| Undecided: OK, passed 100 tests.

260[info] + Prop.Prop.++ Commutativity: OK, passed 100 tests.

262[info] + Prop.Prop.++ Identity 1: OK, passed 100 tests.

263[info] + Prop.Prop.++ Identity 2: OK, passed 100 tests.

264[info] + Prop.Prop.++ False: OK, passed 100 tests.

265[info] + Prop.undecided: OK, passed 100 tests.

266[info] + Prop.falsified: OK, passed 100 tests.

267[info] + Prop.proved: OK, passed 100 tests.

268[info] + Prop.passed: OK, passed 100 tests.

270[info] + Prop.all: OK, proved property.

271[info] + Prop.atLeastOne: OK, proved property.

272[info] + Prop.throws: OK, proved property.

273[info] + Prop.sizedProp: OK, passed 100 tests.

274[info] + Prop.someFailing: OK, passed 100 tests.

275[info] + Prop.noneFailing: OK, passed 100 tests.

276[info] + Prop.secure: OK, passed 100 tests.

277[info] + Prop.delay: OK, proved property.

278[info] + Prop.lzy: OK, proved property.

279[info] + Prop.collect(t): OK, passed 100 tests.

280[info] > Collected test data:

281[info] 51% false

282[info] 49% true

283[info] + Prop.collect(t => Prop: OK, passed 100 tests.

284[info] > Collected test data:

285[info] 55% false

286[info] 45% true

287[info] + Prop.Gen.Parameters.withInitialSeed is deterministic: OK, passed 100 tests.

288[info] + Prop.prop.useSeed is deterministic: OK, passed 100 tests.

289[info] + Prop.prop.useSeed is deterministic (pt. 2): OK, passed 100 tests.

290[info] + Prop.disabling shrinking works: OK, proved property.

293[info] + Prop.shrinking process always take the first value returned by the Shrink[T]: OK, proved property.

294[info] + Prop.regression #530: failure to slide seed: OK, passed 100 tests.

295[info] + time.Shrink.shrink[Duration]: OK, passed 100 tests.

296[info] + time.Shrink.shrink[Period]: OK, passed 100 tests.

297[info] + Examples.list tail: OK, passed 100 tests.

298[info] + Examples.list head: OK, passed 100 tests.

299[info] + Examples.ex1: OK, passed 100 tests.

300[info] + Serializability.Arbitrary[String]: OK, proved property.

301[info] + Serializability.Arbitrary[Int]: OK, proved property.

302[info] + Serializability.Arbitrary[Double]: OK, proved property.

303[info] + Serializability.Arbitrary[Boolean]: OK, proved property.

304[info] + Serializability.Arbitrary[Int => Int]: OK, proved property.

305[info] + Serializability.Arbitrary[List[Int]]: OK, proved property.

306[info] + Serializability.Arbitrary[(String,Int)]: OK, proved property.

307[info] + Serializability.Arbitrary[Tuple22[Int]]: OK, proved property.

308[info] + Serializability.Arbitrary[List[(String,Int)]]: OK, proved property.

309[info] + Serializability.Gen.identifier: OK, proved property.

310[info] + Serializability.Gen.oneOf: OK, proved property.

311[info] + Serializability.Gen.choose: OK, proved property.

312[info] + Serializability.Gen.function1: OK, proved property.

313[info] + Serializability.Gen.zip(String,Int): OK, proved property.

314[info] + Serializability.Cogen[String]: OK, proved property.

315[info] + Serializability.Cogen[Int]: OK, proved property.

316[info] + Serializability.Cogen[Double]: OK, proved property.

317[info] + Serializability.Cogen[Boolean]: OK, proved property.

318[info] + Serializability.Cogen[Int => Int]: OK, proved property.

319[info] + Serializability.Cogen[List[Int]]: OK, proved property.

320[info] + Serializability.Cogen[(String,Int)]: OK, proved property.

321[info] + Serializability.Cogen[Tuple22[Int]]: OK, proved property.

322[info] + Serializability.Cogen[List[(String,Int)]]: OK, proved property.

323[info] + Serializability.Shrink[String]: OK, proved property.

324[info] + Serializability.Shrink[Int]: OK, proved property.

325[info] + Serializability.Shrink[Double]: OK, proved property.

326[info] + Serializability.Shrink[Boolean]: OK, proved property.

327[info] + Serializability.Shrink[Int => Int]: OK, proved property.

328[info] + Serializability.Shrink[List[Int]]: OK, proved property.

329[info] + Serializability.Shrink[(String,Int)]: OK, proved property.

330[info] + Serializability.Shrink[Tuple22[Int])]: OK, proved property.

331[info] + Serializability.Shrink[List[(String,Int)]]: OK, proved property.

332[info] + Serializability.Seed(1L): OK, proved property.

333[info] + SbtFixture.success: OK, passed 100 tests.

334[info] + ScalaCheckFramework.all props with SuiteSelector: OK, proved property.

335[info] + ScalaCheckFramework.only matching props with TestSelector: OK, proved property.

336[info] + Choose.choose[Duration]: OK, passed 100 tests.

337[info] + Choose.choose[Instant]: OK, passed 100 tests.

338[info] + Choose.choose[Month]: OK, passed 100 tests.

339[info] + Choose.choose[Year]: OK, passed 100 tests.

340[info] + Choose.choose[LocalTime]: OK, passed 100 tests.

341[info] + Choose.choose[LocalDate]: OK, passed 100 tests.

342[info] + Choose.choose[LocalDateTime]: OK, passed 100 tests.

343[info] + Choose.choose[MonthDay]: OK, passed 100 tests.

344[info] + Choose.choose[ZoneOffset]: OK, passed 100 tests.

345[info] + Choose.choose[OffsetTime]: OK, passed 100 tests.

346[info] + Choose.choose[OffsetDateTime]: OK, passed 100 tests.

347[info] + Choose.choose[YearMonth]: OK, passed 100 tests.

348[info] + Choose.choose[ZonedDateTime]: OK, passed 100 tests.

349[info] + Choose.choose[Duration](min, max.withNanos: OK, passed 100 tests.

350[info] + Choose.choose[Instant](min, max.withNanos): OK, passed 100 tests.

351[info] + Choose.choose[Int]: OK, passed 100 tests.

352[info] + Choose.choose[Long]: OK, passed 100 tests.

353[info] + Choose.choose[Double]: OK, passed 100 tests.

354[info] + Choose.choose(MinValue, MaxValue): OK, passed 100 tests.

355[info] + Choose.choose(NegativeInfinity, PositiveInfinity): OK, passed 100 tests.

356[info] + Choose.choose(NegativeInfinity, PositiveInfinity): OK, passed 100 tests.

357[info] + Choose.choose[BigInt]: OK, passed 100 tests.

358[info] + Choose.choose[BigInteger]: OK, passed 100 tests.

359[info] + Choose.choose(BigInt( 2^(2^18 - 1)), BigInt(-2^(2^18 - 1))): OK, passed 100 tests.

360[info] + Choose.choose[BigDecimal]: OK, passed 100 tests.

361[info] + Choose.choose[BigDecimal]: OK, passed 100 tests.

362[info] + Choose.xmap[Long,Date]: OK, passed 100 tests.

363[info] + Pretty.prety(null): OK, proved property.

364[info] + Pretty.pretty(null: Any): OK, proved property.

365[info] + Pretty.break: OK, passed 100 tests.

366[info] + Pretty.break is stacksafe: OK, proved property.

367[info] + Pretty.break ensures line length: OK, passed 100 tests.

368[info] + Pretty.break is reversible: OK, passed 100 tests.

369[info] + Seed.different seeds produce different values: OK, passed 100 tests.

370[info] + Seed.doubles are within [0, 1): OK, passed 100 tests.

371[info] + Seed.longs are evenly-distributed: OK, passed 100 tests.

372[info] + Seed.equality works: OK, passed 100 tests.

373[info] + Seed.reseed works: OK, passed 100 tests.

374[info] + Seed.base-64 serialization works: OK, passed 100 tests.

376[info] + Seed.illegal seed: OK, proved property.

377[info] + Examples.StringUtils.truncate: OK, passed 100 tests.

378[info] + Examples.StringUtils.truncate.precond: OK, passed 100 tests.

379[info] + Examples.StringUtils.truncate2: OK, passed 100 tests.

380[info] + Examples.StringUtils.contains: OK, passed 100 tests.

381failing seed for P.outer is YFI-MiGmaxSzvKuJqgV2JiuFWwygJ7awJGrhc2cYhGB=

382[info] + Properties.no nesting.no nested properties: OK, proved property.

383[info] + Shrink.shrink[Byte]: OK, passed 100 tests.

384[info] + Shrink.shrink[Short]: OK, passed 100 tests.

385[info] + Shrink.shrink[Int]: OK, passed 100 tests.

386[info] + Shrink.shrink[Long]: OK, passed 100 tests.

387[info] + Shrink.shrink[Float]: OK, passed 100 tests.

388[info] + Shrink.shrink[Double]: OK, passed 100 tests.

389[info] + Shrink.shrink[Duration]: OK, passed 100 tests.

390[info] + Shrink.shrink[FiniteDuration]: OK, passed 100 tests.

391[info] + Shrink.shrink[Byte] != 0: OK, passed 100 tests.

392[info] + Shrink.shrink[Short] != 0: OK, passed 100 tests.

393[info] + Shrink.shrink[Int] != 0: OK, passed 100 tests.

394[info] + Shrink.shrink[Long] != 0: OK, passed 100 tests.

395[info] + Shrink.shrink[Float] != 0: OK, passed 100 tests.

396[info] + Shrink.shrink[Double] != 0: OK, passed 100 tests.

397[info] + Shrink.shrink[FiniteDuration] != 0: OK, passed 100 tests.

398[info] + Shrink.shrink[Duration] != 0: OK, passed 100 tests.

399[info] + Shrink.shrink[Either]: OK, passed 100 tests.

400[info] + Shrink.shrink[Left]: OK, passed 100 tests.

401[info] + Shrink.shrink[Right]: OK, passed 100 tests.

402[info] + Shrink.suchThat: OK, passed 100 tests.

403[info] + Shrink.shrink[List[Int].suchThat: OK, passed 100 tests.

404[info] + Shrink.shrink[Byte].nonEmpty: OK, passed 100 tests.

405[info] + Shrink.shrink[Char].nonEmpty: OK, passed 100 tests.

406[info] + Shrink.shrink[Short].nonEmpty: OK, passed 100 tests.

407[info] + Shrink.shrink[Int].nonEmpty: OK, passed 100 tests.

408[info] + Shrink.shrink[Long].nonEmpty: OK, passed 100 tests.

409[info] + Shrink.shrink[Float].nonEmpty: OK, passed 100 tests.

410[info] + Shrink.shrink[Double].nonEmpty: OK, passed 100 tests.

411[info] + Shrink.shrink[FiniteDuration].nonEmpty: OK, passed 100 tests.

412[info] + Shrink.shrink[Duration].nonEmpty: OK, passed 100 tests.

413[info] + Shrink.shrink(Float.PositiveInfinity): OK, proved property.

414[info] + Shrink.shrink(Float.NegativeInfinity): OK, proved property.

415[info] + Shrink.shrink(Float.NaN): OK, proved property.

416[info] + Shrink.shrink(Double.PositiveInfinity): OK, proved property.

417[info] + Shrink.shrink(Double.NegativeInfinity): OK, proved property.

418[info] + Shrink.shrink(Double.NaN): OK, proved property.

419[info] + Shrink.shrink(Duration.Inf): OK, proved property.

420[info] + Shrink.shrink(Duration.MinusInf): OK, proved property.

421[info] + Shrink.shrink(Duration.Undefined): OK, proved property.

422[info] + scala.String.mkString: OK, passed 100 tests.

423[info] + Properties.lazy registration.properties registered lazily: OK, proved property.

424[info] + Math.sqrt: OK, passed 100 tests.

425[info] + TestFingerprint.propobject: OK, proved property.

426[info] + Cogen.contravariantLaws.identity: OK, passed 100 tests.

427[info] + Cogen.contravariantLaws.composition: OK, passed 100 tests.

428[info] + Cogen.cogenUnit.cogenLaws.uniqueness: OK, passed 100 tests.

429[info] + Cogen.cogenUnit.cogenLaws.consistency: OK, passed 100 tests.

430[info] + Cogen.cogenBoolean.cogenLaws.uniqueness: OK, passed 100 tests.

431[info] + Cogen.cogenBoolean.cogenLaws.consistency: OK, passed 100 tests.

432[info] + Cogen.cogenByte.cogenLaws.uniqueness: OK, passed 100 tests.

433[info] + Cogen.cogenByte.cogenLaws.consistency: OK, passed 100 tests.

434[info] + Cogen.cogenShort.cogenLaws.uniqueness: OK, passed 100 tests.

435[info] + Cogen.cogenShort.cogenLaws.consistency: OK, passed 100 tests.

436[info] + Cogen.cogenChar.cogenLaws.uniqueness: OK, passed 100 tests.

437[info] + Cogen.cogenChar.cogenLaws.consistency: OK, passed 100 tests.

438[info] + Cogen.cogenInt.cogenLaws.uniqueness: OK, passed 100 tests.

439[info] + Cogen.cogenInt.cogenLaws.consistency: OK, passed 100 tests.

440[info] + Cogen.cogenLong.cogenLaws.uniqueness: OK, passed 100 tests.

441[info] + Cogen.cogenLong.cogenLaws.consistency: OK, passed 100 tests.

442[info] + Cogen.cogenFloat.cogenLaws.uniqueness: OK, passed 100 tests.

443[info] + Cogen.cogenFloat.cogenLaws.consistency: OK, passed 100 tests.

444[info] + Cogen.cogenBigInt.cogenLaws.uniqueness: OK, passed 100 tests.

445[info] + Cogen.cogenBigInt.cogenLaws.consistency: OK, passed 100 tests.

446[info] + Cogen.cogenBigDecimal.cogenLaws.uniqueness: OK, passed 100 tests.

447[info] + Cogen.cogenBigDecimal.cogenLaws.consistency: OK, passed 100 tests.

448[info] + Cogen.cogenOption.cogenLaws.uniqueness: OK, passed 100 tests.

449[info] + Cogen.cogenOption.cogenLaws.consistency: OK, passed 100 tests.

450[info] + Cogen.cogenEither.cogenLaws.uniqueness: OK, passed 100 tests.

451[info] + Cogen.cogenEither.cogenLaws.consistency: OK, passed 100 tests.

452[info] + Cogen.cogenArray.cogenLaws.uniqueness: OK, passed 100 tests.

453[info] + Cogen.cogenArray.cogenLaws.consistency: OK, passed 100 tests.

454[info] + Cogen.cogenString.cogenLaws.uniqueness: OK, passed 100 tests.

455[info] + Cogen.cogenString.cogenLaws.consistency: OK, passed 100 tests.

456[info] + Cogen.cogenList.cogenLaws.uniqueness: OK, passed 100 tests.

457[info] + Cogen.cogenList.cogenLaws.consistency: OK, passed 100 tests.

458[info] + Cogen.cogenVector.cogenLaws.uniqueness: OK, passed 100 tests.

459[info] + Cogen.cogenVector.cogenLaws.consistency: OK, passed 100 tests.

460[info] + Cogen.cogenStream.cogenLaws.uniqueness: OK, passed 100 tests.

461[info] + Cogen.cogenStream.cogenLaws.consistency: OK, passed 100 tests.

462[info] + Cogen.cogenLazyList.cogenLaws.uniqueness: OK, passed 100 tests.

463[info] + Cogen.cogenLazyList.cogenLaws.consistency: OK, passed 100 tests.

464[info] + Cogen.cogenSet.cogenLaws.uniqueness: OK, passed 100 tests.

465[info] + Cogen.cogenSet.cogenLaws.consistency: OK, passed 100 tests.

466[info] + Cogen.cogenMap.cogenLaws.uniqueness: OK, passed 100 tests.

467[info] + Cogen.cogenMap.cogenLaws.consistency: OK, passed 100 tests.

468[info] + Cogen.cogenFunction0.cogenLaws.uniqueness: OK, passed 100 tests.

469[info] + Cogen.cogenFunction0.cogenLaws.consistency: OK, passed 100 tests.

472[info] + Cogen.cogenThrowable.cogenLaws.uniqueness: OK, passed 100 tests.

473[info] + Cogen.cogenThrowable.cogenLaws.consistency: OK, passed 100 tests.

474[info] + Cogen.cogenTry.cogenLaws.uniqueness: OK, passed 100 tests.

475[info] + Cogen.cogenTry.cogenLaws.consistency: OK, passed 100 tests.

476[info] + Cogen.cogenSeq.cogenLaws.uniqueness: OK, passed 100 tests.

477[info] + Cogen.cogenSeq.cogenLaws.consistency: OK, passed 100 tests.

478[info] + Cogen.cogenDuration.cogenLaws.uniqueness: OK, passed 100 tests.

479[info] + Cogen.cogenDuration.cogenLaws.consistency: OK, passed 100 tests.

480[info] + Cogen.cogenFiniteDuration.cogenLaws.uniqueness: OK, passed 100 tests.

481[info] + Cogen.cogenFiniteDuration.cogenLaws.consistency: OK, passed 100 tests.

482[info] + Cogen.cogenUUID.cogenLaws.uniqueness: OK, passed 100 tests.

483[info] + Cogen.cogenUUID.cogenLaws.consistency: OK, passed 100 tests.

484[info] + Cogen.cogenDuration.cogenLaws.uniqueness: OK, passed 100 tests.

485[info] + Cogen.cogenDuration.cogenLaws.consistency: OK, passed 100 tests.

486[info] + Cogen.cogenInstant.cogenLaws.uniqueness: OK, passed 100 tests.

487[info] + Cogen.cogenInstant.cogenLaws.consistency: OK, passed 100 tests.

488[info] + Cogen.cogenMonth.cogenLaws.uniqueness: OK, passed 100 tests.

489[info] + Cogen.cogenMonth.cogenLaws.consistency: OK, passed 100 tests.

490[info] + Cogen.cogenYear.cogenLaws.uniqueness: OK, passed 100 tests.

491[info] + Cogen.cogenYear.cogenLaws.consistency: OK, passed 100 tests.

492[info] + Cogen.cogenLocalTime.cogenLaws.uniqueness: OK, passed 100 tests.

493[info] + Cogen.cogenLocalTime.cogenLaws.consistency: OK, passed 100 tests.

494[info] + Cogen.cogenLocalDate.cogenLaws.uniqueness: OK, passed 100 tests.

495[info] + Cogen.cogenLocalDate.cogenLaws.consistency: OK, passed 100 tests.

496[info] + Cogen.cogenLocalDateTime.cogenLaws.uniqueness: OK, passed 100 tests.

497[info] + Cogen.cogenLocalDateTime.cogenLaws.consistency: OK, passed 100 tests.

498[info] + Cogen.cogenMonthDay.cogenLaws.uniqueness: OK, passed 100 tests.

499[info] + Cogen.cogenMonthDay.cogenLaws.consistency: OK, passed 100 tests.

500[info] + Cogen.cogenZoneOffset.cogenLaws.uniqueness: OK, passed 100 tests.

501[info] + Cogen.cogenZoneOffset.cogenLaws.consistency: OK, passed 100 tests.

502[info] + Cogen.cogenOffsetTime.cogenLaws.uniqueness: OK, passed 100 tests.

503[info] + Cogen.cogenOffsetTime.cogenLaws.consistency: OK, passed 100 tests.

504[info] + Cogen.cogenOffsetDateTime.cogenLaws.uniqueness: OK, passed 100 tests.

505[info] + Cogen.cogenOffsetDateTime.cogenLaws.consistency: OK, passed 100 tests.

506[info] + Cogen.cogenYearMonth.cogenLaws.uniqueness: OK, passed 100 tests.

507[info] + Cogen.cogenYearMonth.cogenLaws.consistency: OK, passed 100 tests.

508[info] + Cogen.cogenZonedDateTime.cogenLaws.uniqueness: OK, passed 100 tests.

509[info] + Cogen.cogenZonedDateTime.cogenLaws.consistency: OK, passed 100 tests.

510[info] + Cogen.cogenZoneId.cogenLaws.uniqueness: OK, passed 100 tests.

511[info] + Cogen.cogenZoneId.cogenLaws.consistency: OK, passed 100 tests.

512[info] + Cogen.cogenPeriod.cogenLaws.uniqueness: OK, passed 100 tests.

513[info] + Cogen.cogenPeriod.cogenLaws.consistency: OK, passed 100 tests.

514[info] + Cogen.cogenSortedSet.cogenLaws.uniqueness: OK, passed 100 tests.

515[info] + Cogen.cogenSortedSet.cogenLaws.consistency: OK, passed 100 tests.

516[info] + Cogen.cogenSortedSet.cogenLaws.uniqueness: OK, passed 100 tests.

517[info] + Cogen.cogenSortedSet.cogenLaws.consistency: OK, passed 100 tests.

518[info] + PropertyFilter.filter properties by predicate: OK, passed 100 tests.

519[info] + PropertyFilterSample.positive numbers: OK, passed 100 tests.

520[info] + PropertyFilterSample.negative numbers: OK, passed 100 tests.

521[info] + PropertyFilterSample.lowercase alpha characters: OK, passed 100 tests.

522[info] + Gen.pureApply #300: OK, passed 100 tests.

523[info] + Gen.sequence: OK, passed 100 tests.

524[info] + Gen.frequency 1: OK, passed 100 tests.

525[info] + Gen.frequency 2: OK, passed 100 tests.

526[info] + Gen.frequency 3: OK, passed 100 tests.

527[info] + Gen.frequency 4: OK, proved property.

528[info] + Gen.lzy: OK, passed 100 tests.

529[info] + Gen.wrap: OK, passed 100 tests.

530[info] + Gen.delay: OK, passed 100 tests.

531[info] + Gen.retryUntil: OK, passed 100 tests.

532[info] + Gen.retryUntil doesn't run forever: OK, passed 100 tests.

533[info] + Gen.retryUntil requires valid parameters: OK, passed 100 tests.

534[info] + Gen.const: OK, passed 100 tests.

535[info] + Gen.fail: OK, passed 100 tests.

536[info] + Gen.parameterized: OK, passed 100 tests.

537[info] + Gen.sized: OK, passed 100 tests.

538[info] + Gen.resize(sz, posNum): OK, passed 100 tests.

539[info] + Gen.resize(sz, negNum): OK, passed 100 tests.

540[info] + Gen.resize(sz, buildableOf): OK, passed 100 tests.

541[info] + Gen.resize(sz, nonEmptyBuilableOf): OK, passed 100 tests.

542[info] + Gen.stringOf: OK, passed 100 tests.

543[info] + Gen.stringOfN: OK, passed 100 tests.

544[info] + Gen.nonEmptyStringOf: OK, passed 100 tests.

545[info] + Gen.oneOf n: OK, passed 100 tests.

546[info] + Gen.oneOf n in set: OK, passed 100 tests.

547[info] + Gen.oneOf 2: OK, passed 100 tests.

548[info] + Gen.oneOf 2 gens: OK, passed 100 tests.

549[info] + Gen.listOf: OK, passed 100 tests.

550[info] + Gen.nonEmptyListOf: OK, passed 100 tests.

551[info] + Gen.listOfN: OK, passed 100 tests.

552[info] + Gen.setOfN: OK, passed 100 tests.

553[info] + Gen.mapOfN: OK, passed 100 tests.

554[info] + Gen.empty listOfN: OK, passed 100 tests.

555[info] + Gen.listOf(posNum): OK, passed 100 tests.

556[info] + Gen.listOf(listOf(posNum): OK, passed 100 tests.

557[info] + Gen.nonEmptyListOf(nonEmptyListOf(posNum)): OK, passed 100 tests.

558[info] + Gen.listOfN(listOfN(posNum)): OK, passed 100 tests.

559[info] + Gen.infiniteStream: OK, passed 100 tests.

560[info] + Gen.infiniteLazyList: OK, passed 100 tests.

561[info] + Gen.someOf: OK, passed 100 tests.

562[info] + Gen.pick: OK, passed 100 tests.

563[info] + Gen.pick with gen: OK, passed 100 tests.

564[info] + Gen.distributed pick: OK, passed 100 tests.

565[info] > Collected test data:

566[info] 29% 4, 2, 3

567[info] 27% 1, 4, 3

568[info] 23% 1, 2, 4

569[info] 21% 1, 2, 3

570[info] + Gen.pick produces enough distinct combinations: OK, passed 100 tests.

571[info] + Gen.numChar: OK, passed 100 tests.

572[info] + Gen.calendar: OK, passed 100 tests.

573[info] + Gen.deterministic calendar: OK, passed 100 tests.

574[info] + Gen.alphaUpperChar: OK, passed 100 tests.

575[info] + Gen.alphaLowerChar: OK, passed 100 tests.

576[info] + Gen.alphaChar: OK, passed 100 tests.

577[info] + Gen.alphaNumChar: OK, passed 100 tests.

578[info] + Gen.asciiChar: OK, passed 100 tests.

579[info] + Gen.asciiPrintableChar: OK, passed 100 tests.

580[info] + Gen.hexChar: OK, passed 100 tests.

581[info] + Gen.identifier: OK, passed 100 tests.

582[info] + Gen.numStr: OK, passed 100 tests.

583[info] + Gen.alphaUpperStr: OK, passed 100 tests.

584[info] + Gen.alphaLowerStr: OK, passed 100 tests.

585[info] + Gen.alphaStr: OK, passed 100 tests.

586[info] + Gen.alphaNumStr: OK, passed 100 tests.

587[info] + Gen.asciiStr: OK, passed 100 tests.

588[info] + Gen.asciiPrintableStr: OK, passed 100 tests.

589[info] + Gen.hexStr: OK, passed 100 tests.

590[info] + Gen.BigDecimal: OK, passed 100 tests.

591[info] + Gen.resultOf1: OK, passed 100 tests.

592[info] + Gen.resultOf2: OK, passed 100 tests.

593[info] + Gen.resultOf3: OK, passed 100 tests.

594[info] + Gen.option: OK, passed 100 tests.

595[info] + Gen.some: OK, passed 100 tests.

596[info] + Gen.tailRecM: OK, passed 100 tests.

597[info] + Gen.recursive == lzy: OK, passed 100 tests.

598[info] + Gen.uuid version 4: OK, passed 100 tests.

599[info] + Gen.uuid unique: OK, passed 100 tests.

600[info] + Gen.zip9: OK, passed 100 tests.

601[info] + Gen.zipWith2: OK, passed 100 tests.

602[info] + Gen.zipWith3: OK, passed 100 tests.

603[info] + Gen.zipWith22: OK, passed 100 tests.

604[info] + Gen.issue #79: OK, passed 100 tests.

605[info] + Gen.suchThat combined #98: OK, passed 100 tests.

606[info] + Gen.suchThat 1 #98: OK, passed 100 tests.

607[info] + Gen.suchThat 2 #98: OK, passed 100 tests.

608[info] + Gen.22 field case class works: OK, passed 100 tests.

609[info] + Gen.random (Boolean => Boolean) functions: OK, proved property.

610[info] + Gen.random (Boolean => Trilean) functions: OK, proved property.

611[info] + Gen.random (Trilean => Boolean) functions: OK, proved property.

612[info] + Gen.random (Trilean => Trilean) functions: OK, proved property.

613[info] + Gen.oneOf with Buildable supports null in first or 2nd position: OK, proved property.

614[info] + Gen.uniform double #209: OK, passed 100 tests.

615[info] + Gen.uniform long #209: OK, passed 100 tests.

616[info] + Gen.posNum[Int]: OK, passed 100 tests.

617[info] + Gen.negNum[Int]: OK, passed 100 tests.

618[info] + Gen.posNum[Float]: OK, passed 100 tests.

619[info] + Gen.negNum[Float]: OK, passed 100 tests.

620[info] + Gen.posNum[Double] <= 1.0d: OK, passed 100 tests.

621[info] + Gen.finite duration values are valid: OK, passed 100 tests.

622[info] + Gen.duration values are valid: OK, passed 100 tests.

623[info] + Gen.choose finite duration values are within range: OK, passed 100 tests.

624[info] + Gen.arbitrary[Boolean] is deterministic: OK, proved property.

625[info] + Gen.arbitrary[Long] is deterministic: OK, proved property.

626[info] + Gen.arbitrary[List[Int]] is deterministic: OK, proved property.

627[info] + Gen.Gen.choose(1, 10000) is deterministic: OK, proved property.

628[info] + Stats.prob: OK, passed 10 tests.

629[info] + Stats.gaussian: OK, passed 10 tests.

630[info] + Stats.exponential: OK, passed 10 tests.

631[info] + Stats.geometric: OK, passed 10 tests.

632[info] + Stats.poisson: OK, passed 10 tests.

633[info] + Stats.binomial: OK, passed 10 tests.

634[info] + Arbitrary.arbOption coverage: OK, proved property.

635[info] + Arbitrary.arbChar: OK, passed 100 tests.

636[info] + Arbitrary.arbString: OK, passed 100 tests.

637[info] + Arbitrary.arbSymbol: OK, passed 100 tests.

638[info] + Arbitrary.arbitrary[Recur].passes: OK, passed 100 tests.

639[info] + Arbitrary.arbitrary[Recur].throws[StackOverflowError]: OK, proved property.

640[info] + Arbitrary.arbEnum: OK, proved property.

642************************

643Build summary:

644[{

645 "module": "scalacheck",

646 "compile": {"status": "ok", "tookMs": 24885, "warnings": 6, "errors": 0, "sourceVersion": "3.8"},

647 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

648 "test-compile": {"status": "ok", "tookMs": 7437, "warnings": 6, "errors": 0, "sourceVersion": "3.8"},

649 "test": {"status": "ok", "tookMs": 19345, "passed": 426, "failed": 0, "ignored": 0, "skipped": 0, "total": 426, "byFramework": [{"framework": "unknown", "stats": {"passed": 426, "failed": 0, "ignored": 0, "skipped": 0, "total": 426}}]},

650 "publish": {"status": "skipped", "tookMs": 0},

651 "metadata": {

652 "crossScalaVersions": ["2.12.20", "2.13.16", "3.3.6"]

653}

654}]

655************************

656[success] Total time: 65 s (0:01:05.0), completed Nov 28, 2025, 12:25:12 PM

657[0JChecking patch build.sbt...

658Applied patch build.sbt cleanly.