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-RC6

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-RC6"

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-RC6

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-RC6

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-RC6

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-RC6"

70"++3.8.0-RC6 -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-RC6 """{"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.714s.

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-RC6

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

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

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

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

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

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

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

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

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

99OpenCB::Changing crossVersion 3.8.0-RC6 -> 3.8.0-RC6 in core_13/crossScalaVersions

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

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

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

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

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

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

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

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

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

109OpenCB::Changing crossVersion 3.8.0-RC6 -> 3.8.0-RC6 in core_1JS3/crossScalaVersions

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

111OpenCB::Changing crossVersion 3.8.0-RC6 -> 3.8.0-RC6 in core_1Native3/crossScalaVersions

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

113OpenCB::Changing crossVersion 3.8.0-RC6 -> 3.8.0-RC6 in joda_13/crossScalaVersions

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

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

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

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

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

119[info] Switching Scala version on:

120[info] core_1JS3 (3.8.0-RC6)

121[info] joda_1-153 (3.8.0-RC6)

122[info] core_1Native3 (3.8.0-RC6)

123[info] core_1-153 (3.8.0-RC6)

124[info] core_1-15JS3 (3.8.0-RC6)

125[info] core_1-15Native3 (3.8.0-RC6)

126[info] core_13 (3.8.0-RC6)

127[info] joda_13 (3.8.0-RC6)

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 8, 2026, 2:18:25 AM

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] JodaLocalDateTimeGeneratorsSpec:

242[info] JodaLocalDateTimeGenerators.before

243[info] - should not generate errors

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

245[info] JodaLocalDateTimeGenerators.after

246[info] - should not generate errors

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

248[info] JodaLocalDateTimeGenerators.around

249[info] - should not generate errors

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

251[info] JodaDateTimeGeneratorsSpec:

252[info] JodaDateTimeGenerators.before

253[info] - should not generate errors

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

255[info] JodaDateTimeGenerators.after

256[info] - should not generate errors

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

258[info] JodaDateTimeGenerators.around

259[info] - should not generate errors

260[info] - should always generate JodaDateTimeGenerators 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[info] GenFromConfigSpec:

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

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

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

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

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

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

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

287[info] ArbitraryAsGenSpec:

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

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

290[info] JavaLocalTimeGeneratorsSpec:

291[info] JavaLocalTimeGenerators.before

292[info] - should not generate errors

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

294[info] JavaLocalTimeGenerators.after

295[info] - should not generate errors

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

297[info] JavaLocalTimeGenerators.around

298[info] - should not generate errors

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

300+ OK, proved property.

301! Falsified after 0 passed tests.

302> ARG_0:

303> ARG_1:

304+ OK, proved property.

305! Falsified after 0 passed tests.

306> ARG_0:

307> ARG_1:

308+ OK, proved property.

309! Falsified after 0 passed tests.

310> ARG_0:

311> ARG_1:

312+ OK, proved property.

313! Falsified after 0 passed tests.

314> ARG_0:

315> ARG_1:

316[info] JavaInstantGeneratorsSpec:

317[info] JavaInstantGenerators.before

318[info] - should not generate errors

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

320[info] JavaInstantGenerators.after

321[info] - should not generate errors

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

323[info] JavaInstantGenerators.around

324[info] - should not generate errors

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

326[info] NewtypeTypeNameSpec:

327[info] - Find a TypeName of a newtype

328[info] - Find a TypeName of a newsubtype

329[info] JavaLocalDateGeneratorsSpec:

330[info] JavaLocalDateGenerators.before

331[info] - should not generate errors

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

333[info] JavaLocalDateGenerators.after

334[info] - should not generate errors

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

336[info] JavaLocalDateGenerators.around

337[info] - should not generate errors

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

339[info] GenOpsSpec:

340[info] Gen.collect

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

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

343[info] - should avoid infinite recursion by default

344[info] Gen.of[Stream]

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

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

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

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

349[info] Gen.of[Set]

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

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

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

353[info] Gen.set

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

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

356[info] Gen.setOfN

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

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

359[info] Gen.vectorOf

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

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

362[info] Gen.vectorOfN

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

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

365[info] Gen[Iterator]

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

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

368[info] Gen.enumValue

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

370[info] TruncatedJavaTimeSpec:

371[info] Gen[Instant]

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

373[info] Gen[LocalDateTime]

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

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

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

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

378[info] JavaLocalDateTimeGeneratorsSpec:

379[info] JavaLocalDateTimeGenerators.before

380[info] - should not generate errors

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

382[info] JavaLocalDateTimeGenerators.after

383[info] - should not generate errors

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

385[info] JavaLocalDateTimeGenerators.around

386[info] - should not generate errors

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

388[info] SeededGenSpec:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

403[info] GenOrThrowSpec:

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

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

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

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

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

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

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

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

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

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

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

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

424[info] GenConfigSpec:

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

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

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

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

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

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

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+ OK, proved property.

454! Falsified after 0 passed tests.

455> ARG_0:

456> ARG_1:

457+ OK, proved property.

458! Falsified after 0 passed tests.

459> ARG_0:

460> ARG_1:

461+ OK, proved property.

462! Falsified after 0 passed tests.

463> ARG_0:

464> ARG_1:

465+ OK, proved property.

466! Falsified after 0 passed tests.

467> ARG_0:

468> ARG_1:

469[info] GenFromConfigSpec:

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

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

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

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

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

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

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

483[info] SeededGenSpec:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

498[info] GenOpsSpec:

499[info] Gen.collect

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

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

502[info] - should avoid infinite recursion by default

503[info] Gen.of[Stream]

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

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

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

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

508[info] Gen.of[Set]

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

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

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

512[info] Gen.set

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

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

515[info] Gen.setOfN

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

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

518[info] Gen.vectorOf

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

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

521[info] Gen.vectorOfN

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

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

524[info] Gen[Iterator]

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

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

527[info] Gen.enumValue

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

529[info] ArbitraryAsGenSpec:

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

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

532[info] GenOrThrowSpec:

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

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

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

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

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

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

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

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

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

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

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

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

553[info] JavaLocalDateGeneratorsSpec:

554[info] JavaLocalDateGenerators.before

555[info] - should not generate errors

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

557[info] JavaLocalDateGenerators.after

558[info] - should not generate errors

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

560[info] JavaLocalDateGenerators.around

561[info] - should not generate errors

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

563[info] JavaInstantGeneratorsSpec:

564[info] JavaInstantGenerators.before

565[info] - should not generate errors

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

567[info] JavaInstantGenerators.after

568[info] - should not generate errors

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

570[info] JavaInstantGenerators.around

571[info] - should not generate errors

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

573[info] NewtypeTypeNameSpec:

574[info] - Find a TypeName of a newtype

575[info] - Find a TypeName of a newsubtype

576[info] TruncatedJavaTimeSpec:

577[info] Gen[Instant]

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

579[info] Gen[LocalDateTime]

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

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

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

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

584[info] JavaLocalTimeGeneratorsSpec:

585[info] JavaLocalTimeGenerators.before

586[info] - should not generate errors

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

588[info] JavaLocalTimeGenerators.after

589[info] - should not generate errors

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

591[info] JavaLocalTimeGenerators.around

592[info] - should not generate errors

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

594[info] JavaLocalDateTimeGeneratorsSpec:

595[info] JavaLocalDateTimeGenerators.before

596[info] - should not generate errors

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

598[info] JavaLocalDateTimeGenerators.after

599[info] - should not generate errors

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

601[info] JavaLocalDateTimeGenerators.around

602[info] - should not generate errors

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

604[info] GenConfigSpec:

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

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

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

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

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

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

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": 12218, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

639 "test": {"status": "ok", "tookMs": 989, "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": 4066, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

649 "test": {"status": "ok", "tookMs": 624, "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": 53, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

659 "test": {"status": "ok", "tookMs": 1352, "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": 45, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

669 "test": {"status": "ok", "tookMs": 1198, "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: 36 s, completed Jan 8, 2026, 2:19:01 AM

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.