Build Logs

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

2Clonning https://github.com/rallyhealth/scalacheck-ops.git into /build/repo using revision v2.12.0

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

4Note: switching to '48fe50a0f946d74740b868bed1aca04753b7f245'.

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.2.0

22----

23Preparing build for 3.8.0

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: project/Dependencies.scala

34Pattern: val Scala_3 = "3.2.0"

35Replacement: val Scala_3 = "3.8.0"

36Starting compilation server

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

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

39Successfully applied pattern 'val Scala_3 = "3.2.0"' in project/Dependencies.scala

40----

41Starting build for 3.8.0

42Execute tests: true

43sbt project found:

44Sbt version 1.7.2 is not supported, minimal supported version is 1.11.5

45Enforcing usage of sbt in version 1.11.5

46No prepare script found for project rallyhealth/scalacheck-ops

47##################################

48Scala version: 3.8.0

49Targets: com.rallyhealth%scalacheck-ops-joda_1 com.rallyhealth%scalacheck-ops-joda_1-15 com.rallyhealth%scalacheck-ops_1 com.rallyhealth%scalacheck-ops_1-15

50Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val Scala_3 = \"3.2.0\"","replaceWith":"val Scala_3 = \"<SCALA_VERSION>\""}]}

51##################################

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

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

54[sbt_options] declare -a sbt_options=()

55[process_args] java_version = '17'

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

57# Executing command line:

58java

59-Dfile.encoding=UTF-8

60-Dcommunitybuild.scala=3.8.0

61-Dcommunitybuild.project.dependencies.add=

62-Xmx7G

63-Xms4G

64-Xss8M

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

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

67-jar

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

69"setCrossScalaVersions 3.8.0"

70"++3.8.0 -v"

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

72"set every credentials := Nil"

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

74"removeScalacOptionsStartingWith -P:wartremover"

76moduleMappings

77"runBuild 3.8.0 """{"projects":{"exclude":[],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val Scala_3 = \"3.2.0\"","replaceWith":"val Scala_3 = \"<SCALA_VERSION>\""}]}""" com.rallyhealth%scalacheck-ops-joda_1 com.rallyhealth%scalacheck-ops-joda_1-15 com.rallyhealth%scalacheck-ops_1 com.rallyhealth%scalacheck-ops_1-15"

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

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

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

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

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

84[info] Compilation completed in 8.86s.

85[info] done compiling

86[info] loading settings for project repo from build.sbt, sonatype.sbt...

87[info] resolving key references (27497 settings) ...

88[info] set current project to scalacheck-ops-root (in build file:/build/repo/)

89Execute setCrossScalaVersions: 3.8.0

90OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in core_1Native3/crossScalaVersions

91OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in core_1Native3/crossScalaVersions

92OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in joda_1-153/crossScalaVersions

93OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in joda_1-153/crossScalaVersions

94OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1/crossScalaVersions

95OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in core_13/crossScalaVersions

96OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in core_13/crossScalaVersions

97OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1-14/crossScalaVersions

98OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in joda_1-14/crossScalaVersions

99OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in core_1-15Native3/crossScalaVersions

100OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in core_1-15Native3/crossScalaVersions

101OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in repo/crossScalaVersions

102OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in joda_1/crossScalaVersions

103OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1-15Native/crossScalaVersions

104OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1-15/crossScalaVersions

105OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1JS/crossScalaVersions

106OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in joda_1-15/crossScalaVersions

107OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in core_1-153/crossScalaVersions

108OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in core_1-153/crossScalaVersions

109OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1Native/crossScalaVersions

110OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in joda_13/crossScalaVersions

111OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in joda_13/crossScalaVersions

112OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in core_1-15JS3/crossScalaVersions

113OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in core_1-15JS3/crossScalaVersions

114OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1-15JS/crossScalaVersions

115OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in core_1JS3/crossScalaVersions

116OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0) in core_1JS3/crossScalaVersions

117[info] set current project to scalacheck-ops-root (in build file:/build/repo/)

118[info] Setting Scala version to 3.8.0 on 8 projects.

119[info] Switching Scala version on:

120[info] core_1JS3 (3.8.0)

121[info] joda_1-153 (3.8.0)

122[info] core_1Native3 (3.8.0)

123[info] core_1-153 (3.8.0)

124[info] core_1-15JS3 (3.8.0)

125[info] core_1-15Native3 (3.8.0)

126[info] core_13 (3.8.0)

127[info] joda_13 (3.8.0)

128[info] Excluding projects:

129[info] core_1-15 (2.13.10)

130[info] core_1JS (2.13.10)

131[info] joda_1-132_12 (2.12.20, 2.12.17)

132[info] core_1JS2_12 (2.12.20, 2.12.17)

133[info] core_1-132_12 (2.12.20, 2.12.17)

134[info] core_1-152_12 (2.12.20, 2.12.17)

135[info] core_1-15JS2_12 (2.12.20, 2.12.17)

136[info] joda_1-15 (2.13.10)

137[info] core_1-15JS (2.13.10)

138[info] core_12_12 (2.12.20, 2.12.17)

139[info] joda_1-14 (2.13.10)

140[info] joda_1-142_12 (2.12.20, 2.12.17)

141[info] joda_1 (2.13.10)

142[info] joda_1-152_12 (2.12.20, 2.12.17)

143[info] core_1-142_12 (2.12.20, 2.12.17)

144[info] * repo (2.13.10)

145[info] joda_12_12 (2.12.20, 2.12.17)

146[info] core_1-14 (2.13.10)

147[info] core_1 (2.13.10)

148[info] core_1-15Native (2.13.10)

149[info] core_1Native (2.13.10)

150[info] Reapplying settings...

151[info] set current project to scalacheck-ops-root (in build file:/build/repo/)

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

153[info] Reapplying settings...

154[info] set current project to scalacheck-ops-root (in build file:/build/repo/)

155[info] Defining Global / credentials, core_1 / credentials and 27 others.

156[info] The new values will be used by Global / pgpSelectPassphrase, Global / pgpSigningKey and 144 others.

157[info] Run `last` for details.

158[info] Reapplying settings...

159[info] set current project to scalacheck-ops-root (in build file:/build/repo/)

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

161[info] Reapplying settings...

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

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

165 Did you mean core_1Native3 / allExcludeDependencies ?

166 , retry without global scopes

167[info] Reapplying settings...

168[info] set current project to scalacheck-ops-root (in build file:/build/repo/)

169Execute removeScalacOptionsStartingWith: -P:wartremover

170[info] Reapplying settings...

171[info] set current project to scalacheck-ops-root (in build file:/build/repo/)

172[success] Total time: 0 s, completed Jan 13, 2026, 3:42:00 PM

173Build config: {"projects":{"exclude":[],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val Scala_3 = \"3.2.0\"","replaceWith":"val Scala_3 = \"<SCALA_VERSION>\""}]}

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

175Starting build...

176Projects: Set(joda_13, joda_1-153, core_13, core_1-153)

177Starting build for ProjectRef(file:/build/repo/,joda_13) (scalacheck-ops-joda_1)... [0/4]

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

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

180Compile scalacOptions: -deprecation:false, -encoding, UTF-8, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

181[info] compiling 24 Scala sources to /build/repo/core/target/1-jvm-3/classes ...

184[info] done compiling

185[info] compiling 11 Scala sources to /build/repo/joda/target/1-jvm-3/classes ...

188[info] done compiling

189[info] compiling 15 Scala sources to /build/repo/core/target/1-jvm-3/test-classes ...

192[info] done compiling

193[info] compiling 3 Scala sources to /build/repo/joda/target/1-jvm-3/test-classes ...

194[info] done compiling

195[info] JodaLocalDateTimeGeneratorsSpec:

196[info] JodaLocalDateTimeGenerators.before

197[info] - should not generate errors

198[info] - should always generate JodaLocalDateTimeGenerators instances less than the given instant

199[info] JodaLocalDateTimeGenerators.after

200[info] - should not generate errors

201[info] - should always generate JodaLocalDateTimeGenerators instances greater than the given instant

202[info] JodaLocalDateTimeGenerators.around

203[info] - should not generate errors

204[info] - should always generate JodaLocalDateTimeGenerators that are within the given range of the given time

205[info] JodaDateTimeGeneratorsSpec:

206[info] JodaDateTimeGenerators.before

207[info] - should not generate errors

208[info] - should always generate JodaDateTimeGenerators instances less than the given instant

209[info] JodaDateTimeGenerators.after

210[info] - should not generate errors

211[info] - should always generate JodaDateTimeGenerators instances greater than the given instant

212[info] JodaDateTimeGenerators.around

213[info] - should not generate errors

214[info] - should always generate JodaDateTimeGenerators that are within the given range of the given time

215[info] JodaLocalDateGeneratorsSpec:

216[info] JodaLocalDateGenerators.before

217[info] - should not generate errors

218[info] - should always generate JodaLocalDateGenerators instances less than the given instant

219[info] JodaLocalDateGenerators.after

220[info] - should not generate errors

221[info] - should always generate JodaLocalDateGenerators instances greater than the given instant

222[info] JodaLocalDateGenerators.around

223[info] - should not generate errors

224[info] - should always generate JodaLocalDateGenerators that are within the given range of the given time

225Starting build for ProjectRef(file:/build/repo/,joda_1-153) (scalacheck-ops-joda_1-15)... [1/4]

226Compile scalacOptions: -deprecation:false, -encoding, UTF-8, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

227[info] compiling 24 Scala sources to /build/repo/core/target/1-15-jvm-3/classes ...

230[info] done compiling

231[info] compiling 11 Scala sources to /build/repo/joda/target/1-15-jvm-3/classes ...

234[info] done compiling

235[info] compiling 15 Scala sources to /build/repo/core/target/1-15-jvm-3/test-classes ...

238[info] done compiling

239[info] compiling 3 Scala sources to /build/repo/joda/target/1-15-jvm-3/test-classes ...

240[info] done compiling

241[info] JodaDateTimeGeneratorsSpec:

242[info] JodaDateTimeGenerators.before

243[info] - should not generate errors

244[info] - should always generate JodaDateTimeGenerators instances less than the given instant

245[info] JodaDateTimeGenerators.after

246[info] - should not generate errors

247[info] - should always generate JodaDateTimeGenerators instances greater than the given instant

248[info] JodaDateTimeGenerators.around

249[info] - should not generate errors

250[info] - should always generate JodaDateTimeGenerators that are within the given range of the given time

251[info] JodaLocalDateTimeGeneratorsSpec:

252[info] JodaLocalDateTimeGenerators.before

253[info] - should not generate errors

254[info] - should always generate JodaLocalDateTimeGenerators instances less than the given instant

255[info] JodaLocalDateTimeGenerators.after

256[info] - should not generate errors

257[info] - should always generate JodaLocalDateTimeGenerators instances greater than the given instant

258[info] JodaLocalDateTimeGenerators.around

259[info] - should not generate errors

260[info] - should always generate JodaLocalDateTimeGenerators that are within the given range of the given time

261[info] JodaLocalDateGeneratorsSpec:

262[info] JodaLocalDateGenerators.before

263[info] - should not generate errors

264[info] - should always generate JodaLocalDateGenerators instances less than the given instant

265[info] JodaLocalDateGenerators.after

266[info] - should not generate errors

267[info] - should always generate JodaLocalDateGenerators instances greater than the given instant

268[info] JodaLocalDateGenerators.around

269[info] - should not generate errors

270[info] - should always generate JodaLocalDateGenerators that are within the given range of the given time

271Starting build for ProjectRef(file:/build/repo/,core_13) (scalacheck-ops_1)... [2/4]

272Compile scalacOptions: -deprecation:false, -encoding, UTF-8, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

273+ OK, proved property.

274[info] TruncatedJavaTimeSpec:

275[info] Gen[Instant]

276! Falsified after 0 passed tests.

277> ARG_0:

278> ARG_1:

279[info] - Gen[Instant].truncatedToMillis removes all nanoseconds and milliseconds

280[info] Gen[LocalDateTime]

281[info] - Gen[LocalDateTime].truncatedToMillis removes all nanoseconds and milliseconds

282[info] - Gen[LocalDateTime].truncatedTo(ChronoUnit.SECONDS) removes all milliseconds

283[info] - Gen[LocalDateTime].truncatedTo(ChronoUnit.MINUTES) removes all seconds

284[info] - Gen[LocalDateTime].truncatedTo(ChronoUnit.HOURS) removes all seconds

285[info] ArbitraryAsGenSpec:

286[info] - ArbitraryAsGen should implicitly convert a Gen to Arbitrary

287[info] - ArbitraryAsGen should convert an implicit Arbitrary to an implicit Gen

288[info] GenOrThrowSpec:

289[info] - gen.getOrThrow should return different values each time it is called

291[info] - gen.getOrThrow (given the same Seed) should return the same value when calling twice

292[info] - gen.getOrThrowPure should return the same value when calling twice

294[info] - gen.randomOrThrow should return different values each time it is called

296[info] - gen.tryGet.get should return different values each time it is called

298[info] - gen.tryGet (given the same Seed) should return the same value when calling twice

299[info] - gen.sampleIterator.next() should return different values each time it is called

301[info] - gen.toUnboundedIterator.next() should return different values each time it is called

303[info] - gen.toIterator.next() should return the same value when calling twice

304[info] - gen.toIterator.take(3).toSeq should return the same value when calling twice

306[info] - gen.iterator.next() should return the same value when calling twice

307[info] - gen.iterator.take(3).toSeq should return the same value when calling twice

309[info] JavaLocalTimeGeneratorsSpec:

310[info] JavaLocalTimeGenerators.before

311[info] - should not generate errors

312[info] - should always generate JavaLocalTimeGenerators instances less than the given instant

313[info] JavaLocalTimeGenerators.after

314[info] - should not generate errors

315[info] - should always generate JavaLocalTimeGenerators instances greater than the given instant

316[info] JavaLocalTimeGenerators.around

317[info] - should not generate errors

318[info] - should always generate JavaLocalTimeGenerators that are within the given range of the given time

319[info] JavaLocalDateGeneratorsSpec:

320[info] JavaLocalDateGenerators.before

321[info] - should not generate errors

322[info] - should always generate JavaLocalDateGenerators instances less than the given instant

323[info] JavaLocalDateGenerators.after

324[info] - should not generate errors

325[info] - should always generate JavaLocalDateGenerators instances greater than the given instant

326[info] JavaLocalDateGenerators.around

327[info] - should not generate errors

328[info] - should always generate JavaLocalDateGenerators that are within the given range of the given time

329[info] JavaInstantGeneratorsSpec:

330[info] JavaInstantGenerators.before

331[info] - should not generate errors

332[info] - should always generate JavaInstantGenerators instances less than the given instant

333[info] JavaInstantGenerators.after

334[info] - should not generate errors

335[info] - should always generate JavaInstantGenerators instances greater than the given instant

336[info] JavaInstantGenerators.around

337[info] - should not generate errors

338[info] - should always generate JavaInstantGenerators that are within the given range of the given time

339[info] GenConfigSpec:

340[info] - class org.scalacheck.ops.GenConfig should use the given number of retries and default seed

341[info] - class org.scalacheck.ops.GenConfig should use the default number of retries and default seed

342[info] - class org.scalacheck.ops.GenConfig should use the default number of retries and the given seed and maxSize

343[info] - class org.scalacheck.ops.GenConfig should use the default number of retries and maxSize and the given seed

344[info] - class org.scalacheck.ops.GenConfig should keep the same number of retries when updating the params

345[info] - class org.scalacheck.ops.GenConfig should use the size config from given parameters

346[info] NewtypeTypeNameSpec:

347[info] - Find a TypeName of a newtype

348[info] - Find a TypeName of a newsubtype

349[info] JavaLocalDateTimeGeneratorsSpec:

350[info] JavaLocalDateTimeGenerators.before

351[info] - should not generate errors

352[info] - should always generate JavaLocalDateTimeGenerators instances less than the given instant

353[info] JavaLocalDateTimeGenerators.after

354[info] - should not generate errors

355[info] - should always generate JavaLocalDateTimeGenerators instances greater than the given instant

356[info] JavaLocalDateTimeGenerators.around

357[info] - should not generate errors

358[info] - should always generate JavaLocalDateTimeGenerators that are within the given range of the given time

359+ OK, proved property.

360! Falsified after 0 passed tests.

361> ARG_0:

362> ARG_1:

363+ OK, proved property.

364! Falsified after 0 passed tests.

365> ARG_0:

366> ARG_1:

367+ OK, proved property.

368! Falsified after 0 passed tests.

369> ARG_0:

370> ARG_1:

371[info] SeededGenSpec:

372[info] - SeededGen.Companion.gen should make the given seed available to the generators

373[info] - SeededGen using a custom seed type should make the given seed available to the generators

374[info] - SeededGen.seededWith[String].taggedWith[TestSeed] should make the given seed available to the generators

375[info] - SeededGen.taggedWith[TestSeed].seededWith[Long] should make the given seed available to the generators

376[info] - SeededGen.seededWith[String].taggedWith[TestSeed] should generate the same values given the same seed

377[info] - SeededGen.seededWith[String].taggedWith[TestSeed] should generate different values for different seeds

378[info] - SeededGen.taggedWith[TestSeed].seededWith[Long] should generate the same values given the same seed

379[info] - SeededGen.taggedWith[TestSeed].seededWith[Long] should generate different values for different seeds

380[info] - SeededGen.Companion.gen should generate the same values given the same seed

381[info] - SeededGen.Companion.gen should generate different values for different seeds

382[info] - SeededGen using a custom seed type should generate the same values given the same seed

383[info] - SeededGen using a custom seed type should generate different values for different seeds

384[info] - SeededGen should pass the seed between seeded generators

385[info] - SeededGen.map should map the underlying generator

386[info] GenFromConfigSpec:

387[info] - gen.head should return the same value when calling twice

389[info] - gen.valueFor(Seed(10)) should return the same value when calling twice

391[info] - gen.nextRandom() should return different values each time it is called

393[info] - gen.getOrThrow should return different values each time it is called

395[info] - gen.sampleIterator.next() should return different values each time it is called

397[info] - gen.iterator.next() should return the same value when calling twice

398[info] - gen.iterator.take(3).toSeq should return the same value when calling twice

400[info] GenOpsSpec:

401[info] Gen.collect

402[info] - should use suchThat when retryUntilMatch is false

403[info] - should use retryUntil when retryUntilMatch is true

404[info] - should avoid infinite recursion by default

405[info] Gen.of[Stream]

406[info] - should generate samples less than the default size

407[info] - should generate the same samples when called twice with the same seed

408[info] - should be able to generate a certain size

409[info] - should generate the same samples when called twice with the same size and seed

410[info] Gen.of[Set]

411[info] - should generate samples less than its sample size

412[info] - should generate the same samples when called twice with the same seed

413[info] - should generate the same samples when called twice with the same size and seed

414[info] Gen.set

415[info] - should generate samples less than its sample size

416[info] - should generate the same samples when called twice with the same seed

417[info] Gen.setOfN

418[info] - should be able to generate a certain size

419[info] - should generate the same samples when called twice with the same size and seed

420[info] Gen.vectorOf

421[info] - should generate samples less than the default size

422[info] - should generate the same samples when called twice with the same seed

423[info] Gen.vectorOfN

424[info] - should be able to generate a certain size

425[info] - should generate the same samples when called twice with the same size and seed

426[info] Gen[Iterator]

427[info] - should (when filtered) always generate the same number of samples

428[info] - should (when filtered) be able to convert to a stream

429[info] Gen.enumValue

430[info] - should create a generator from an Enumeration

431[info] SeedExtractorSpec:

432[info] - verify this test catches collisions

433[info] - org.scalacheck.ops.SeedExtractor[int] should extract a consistent seed

434[info] - org.scalacheck.ops.SeedExtractor[int] should avoid collisions

435[info] - org.scalacheck.ops.SeedExtractor[long] should extract a consistent seed

436[info] - org.scalacheck.ops.SeedExtractor[long] should avoid collisions

437[info] - org.scalacheck.ops.SeedExtractor[String] should extract a consistent seed

438[info] - org.scalacheck.ops.SeedExtractor[String] should avoid collisions

439[info] - org.scalacheck.ops.SeedExtractor[UUID] should extract a consistent seed

440[info] - org.scalacheck.ops.SeedExtractor[UUID] should avoid collisions

441[info] - org.scalacheck.ops.SeedExtractor[long].fromLong(identity) should extract a consistent seed

442[info] - org.scalacheck.ops.SeedExtractor[long].fromLong(identity) should avoid collisions

443[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.string) should extract a consistent seed

444[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.string) should avoid collisions

445[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.long) should extract a consistent seed

446[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.long) should avoid collisions

447[info] - org.scalacheck.ops.SeedExtractor[Examples].fromToString should extract a consistent seed

448[info] - org.scalacheck.ops.SeedExtractor[Examples].fromToString should avoid collisions

449[info] - org.scalacheck.ops.SeedExtractor[Examples] (implicitly) should extract a consistent seed

450[info] - org.scalacheck.ops.SeedExtractor[Examples] (implicitly) should avoid collisions

451Starting build for ProjectRef(file:/build/repo/,core_1-153) (scalacheck-ops_1-15)... [3/4]

452Compile scalacOptions: -deprecation:false, -encoding, UTF-8, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

453[info] ArbitraryAsGenSpec:

454[info] - ArbitraryAsGen should implicitly convert a Gen to Arbitrary

455[info] - ArbitraryAsGen should convert an implicit Arbitrary to an implicit Gen

456[info] TruncatedJavaTimeSpec:

457[info] Gen[Instant]

458[info] - Gen[Instant].truncatedToMillis removes all nanoseconds and milliseconds

459[info] Gen[LocalDateTime]

460[info] - Gen[LocalDateTime].truncatedToMillis removes all nanoseconds and milliseconds

461[info] - Gen[LocalDateTime].truncatedTo(ChronoUnit.SECONDS) removes all milliseconds

462[info] - Gen[LocalDateTime].truncatedTo(ChronoUnit.MINUTES) removes all seconds

463[info] - Gen[LocalDateTime].truncatedTo(ChronoUnit.HOURS) removes all seconds

464[info] JavaInstantGeneratorsSpec:

465[info] JavaInstantGenerators.before

466[info] - should not generate errors

467[info] - should always generate JavaInstantGenerators instances less than the given instant

468[info] JavaInstantGenerators.after

469[info] - should not generate errors

470[info] - should always generate JavaInstantGenerators instances greater than the given instant

471[info] JavaInstantGenerators.around

472[info] - should not generate errors

473[info] - should always generate JavaInstantGenerators that are within the given range of the given time

474+ OK, proved property.

475! Falsified after 0 passed tests.

476> ARG_0:

477> ARG_1:

478+ OK, proved property.

479! Falsified after 0 passed tests.

480> ARG_0:

481> ARG_1:

482+ OK, proved property.

483! Falsified after 0 passed tests.

484> ARG_0:

485> ARG_1:

486+ OK, proved property.

487! Falsified after 0 passed tests.

488> ARG_0:

489> ARG_1:

490[info] GenConfigSpec:

491[info] - class org.scalacheck.ops.GenConfig should use the given number of retries and default seed

492[info] - class org.scalacheck.ops.GenConfig should use the default number of retries and default seed

493[info] - class org.scalacheck.ops.GenConfig should use the default number of retries and the given seed and maxSize

494[info] - class org.scalacheck.ops.GenConfig should use the default number of retries and maxSize and the given seed

495[info] - class org.scalacheck.ops.GenConfig should keep the same number of retries when updating the params

496[info] - class org.scalacheck.ops.GenConfig should use the size config from given parameters

497[info] NewtypeTypeNameSpec:

498[info] - Find a TypeName of a newtype

499[info] - Find a TypeName of a newsubtype

500[info] GenOpsSpec:

501[info] Gen.collect

502[info] - should use suchThat when retryUntilMatch is false

503[info] - should use retryUntil when retryUntilMatch is true

504[info] - should avoid infinite recursion by default

505[info] Gen.of[Stream]

506[info] - should generate samples less than the default size

507[info] - should generate the same samples when called twice with the same seed

508[info] - should be able to generate a certain size

509[info] - should generate the same samples when called twice with the same size and seed

510[info] Gen.of[Set]

511[info] - should generate samples less than its sample size

512[info] - should generate the same samples when called twice with the same seed

513[info] - should generate the same samples when called twice with the same size and seed

514[info] Gen.set

515[info] - should generate samples less than its sample size

516[info] - should generate the same samples when called twice with the same seed

517[info] Gen.setOfN

518[info] - should be able to generate a certain size

519[info] - should generate the same samples when called twice with the same size and seed

520[info] Gen.vectorOf

521[info] - should generate samples less than the default size

522[info] - should generate the same samples when called twice with the same seed

523[info] Gen.vectorOfN

524[info] - should be able to generate a certain size

525[info] - should generate the same samples when called twice with the same size and seed

526[info] Gen[Iterator]

527[info] - should (when filtered) always generate the same number of samples

528[info] - should (when filtered) be able to convert to a stream

529[info] Gen.enumValue

530[info] - should create a generator from an Enumeration

531[info] JavaLocalDateGeneratorsSpec:

532[info] JavaLocalDateGenerators.before

533[info] - should not generate errors

534[info] - should always generate JavaLocalDateGenerators instances less than the given instant

535[info] JavaLocalDateGenerators.after

536[info] - should not generate errors

537[info] - should always generate JavaLocalDateGenerators instances greater than the given instant

538[info] JavaLocalDateGenerators.around

539[info] - should not generate errors

540[info] - should always generate JavaLocalDateGenerators that are within the given range of the given time

541[info] SeededGenSpec:

542[info] - SeededGen.Companion.gen should make the given seed available to the generators

543[info] - SeededGen using a custom seed type should make the given seed available to the generators

544[info] - SeededGen.seededWith[String].taggedWith[TestSeed] should make the given seed available to the generators

545[info] - SeededGen.taggedWith[TestSeed].seededWith[Long] should make the given seed available to the generators

546[info] - SeededGen.seededWith[String].taggedWith[TestSeed] should generate the same values given the same seed

547[info] - SeededGen.seededWith[String].taggedWith[TestSeed] should generate different values for different seeds

548[info] - SeededGen.taggedWith[TestSeed].seededWith[Long] should generate the same values given the same seed

549[info] - SeededGen.taggedWith[TestSeed].seededWith[Long] should generate different values for different seeds

550[info] - SeededGen.Companion.gen should generate the same values given the same seed

551[info] - SeededGen.Companion.gen should generate different values for different seeds

552[info] - SeededGen using a custom seed type should generate the same values given the same seed

553[info] - SeededGen using a custom seed type should generate different values for different seeds

554[info] - SeededGen should pass the seed between seeded generators

555[info] - SeededGen.map should map the underlying generator

556[info] GenFromConfigSpec:

557[info] - gen.head should return the same value when calling twice

559[info] - gen.valueFor(Seed(10)) should return the same value when calling twice

561[info] - gen.nextRandom() should return different values each time it is called

563[info] - gen.getOrThrow should return different values each time it is called

565[info] - gen.sampleIterator.next() should return different values each time it is called

567[info] - gen.iterator.next() should return the same value when calling twice

568[info] - gen.iterator.take(3).toSeq should return the same value when calling twice

570[info] JavaLocalTimeGeneratorsSpec:

571[info] JavaLocalTimeGenerators.before

572[info] - should not generate errors

573[info] - should always generate JavaLocalTimeGenerators instances less than the given instant

574[info] JavaLocalTimeGenerators.after

575[info] - should not generate errors

576[info] - should always generate JavaLocalTimeGenerators instances greater than the given instant

577[info] JavaLocalTimeGenerators.around

578[info] - should not generate errors

579[info] - should always generate JavaLocalTimeGenerators that are within the given range of the given time

580[info] JavaLocalDateTimeGeneratorsSpec:

581[info] JavaLocalDateTimeGenerators.before

582[info] - should not generate errors

583[info] - should always generate JavaLocalDateTimeGenerators instances less than the given instant

584[info] JavaLocalDateTimeGenerators.after

585[info] - should not generate errors

586[info] - should always generate JavaLocalDateTimeGenerators instances greater than the given instant

587[info] JavaLocalDateTimeGenerators.around

588[info] - should not generate errors

589[info] - should always generate JavaLocalDateTimeGenerators that are within the given range of the given time

590[info] GenOrThrowSpec:

591[info] - gen.getOrThrow should return different values each time it is called

593[info] - gen.getOrThrow (given the same Seed) should return the same value when calling twice

594[info] - gen.getOrThrowPure should return the same value when calling twice

596[info] - gen.randomOrThrow should return different values each time it is called

598[info] - gen.tryGet.get should return different values each time it is called

600[info] - gen.tryGet (given the same Seed) should return the same value when calling twice

601[info] - gen.sampleIterator.next() should return different values each time it is called

603[info] - gen.toUnboundedIterator.next() should return different values each time it is called

605[info] - gen.toIterator.next() should return the same value when calling twice

606[info] - gen.toIterator.take(3).toSeq should return the same value when calling twice

608[info] - gen.iterator.next() should return the same value when calling twice

609[info] - gen.iterator.take(3).toSeq should return the same value when calling twice

611[info] SeedExtractorSpec:

612[info] - verify this test catches collisions

613[info] - org.scalacheck.ops.SeedExtractor[int] should extract a consistent seed

614[info] - org.scalacheck.ops.SeedExtractor[int] should avoid collisions

615[info] - org.scalacheck.ops.SeedExtractor[long] should extract a consistent seed

616[info] - org.scalacheck.ops.SeedExtractor[long] should avoid collisions

617[info] - org.scalacheck.ops.SeedExtractor[String] should extract a consistent seed

618[info] - org.scalacheck.ops.SeedExtractor[String] should avoid collisions

619[info] - org.scalacheck.ops.SeedExtractor[UUID] should extract a consistent seed

620[info] - org.scalacheck.ops.SeedExtractor[UUID] should avoid collisions

621[info] - org.scalacheck.ops.SeedExtractor[long].fromLong(identity) should extract a consistent seed

622[info] - org.scalacheck.ops.SeedExtractor[long].fromLong(identity) should avoid collisions

623[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.string) should extract a consistent seed

624[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.string) should avoid collisions

625[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.long) should extract a consistent seed

626[info] - org.scalacheck.ops.SeedExtractor[Examples].from(_.long) should avoid collisions

627[info] - org.scalacheck.ops.SeedExtractor[Examples].fromToString should extract a consistent seed

628[info] - org.scalacheck.ops.SeedExtractor[Examples].fromToString should avoid collisions

629[info] - org.scalacheck.ops.SeedExtractor[Examples] (implicitly) should extract a consistent seed

630[info] - org.scalacheck.ops.SeedExtractor[Examples] (implicitly) should avoid collisions

632************************

633Build summary:

634[{

635 "module": "scalacheck-ops-joda_1",

636 "compile": {"status": "ok", "tookMs": 12115, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

638 "test-compile": {"status": "ok", "tookMs": 6725, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

639 "test": {"status": "ok", "tookMs": 908, "passed": 18, "failed": 0, "ignored": 0, "skipped": 0, "total": 18, "byFramework": [{"framework": "unknown", "stats": {"passed": 18, "failed": 0, "ignored": 0, "skipped": 0, "total": 18}}]},

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

641 "metadata": {

642 "crossScalaVersions": ["2.12.20", "3.2.0"]

643}

644},{

645 "module": "scalacheck-ops-joda_1-15",

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

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

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

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

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

651 "metadata": {

652 "crossScalaVersions": ["2.12.20", "3.2.0"]

653}

654},{

655 "module": "scalacheck-ops_1",

656 "compile": {"status": "ok", "tookMs": 55, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

658 "test-compile": {"status": "ok", "tookMs": 94, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

659 "test": {"status": "ok", "tookMs": 1439, "passed": 126, "failed": 0, "ignored": 0, "skipped": 0, "total": 126, "byFramework": [{"framework": "unknown", "stats": {"passed": 126, "failed": 0, "ignored": 0, "skipped": 0, "total": 126}}]},

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

661 "metadata": {

662 "crossScalaVersions": ["2.12.20", "3.2.0"]

663}

664},{

665 "module": "scalacheck-ops_1-15",

666 "compile": {"status": "ok", "tookMs": 53, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

668 "test-compile": {"status": "ok", "tookMs": 93, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

669 "test": {"status": "ok", "tookMs": 1220, "passed": 126, "failed": 0, "ignored": 0, "skipped": 0, "total": 126, "byFramework": [{"framework": "unknown", "stats": {"passed": 126, "failed": 0, "ignored": 0, "skipped": 0, "total": 126}}]},

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

671 "metadata": {

672 "crossScalaVersions": ["2.12.20", "3.2.0"]

673}

674}]

675************************

676[success] Total time: 35 s, completed Jan 13, 2026, 3:42:35 PM

677[0JChecking patch project/plugins.sbt...

678Checking patch project/build.properties...

679Checking patch project/Dependencies.scala...

680Checking patch build.sbt...

681Applied patch project/plugins.sbt cleanly.

682Applied patch project/build.properties cleanly.

683Applied patch project/Dependencies.scala cleanly.

684Applied patch build.sbt cleanly.