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

34Pattern: val Scala_3 = "3.2.0"

35Replacement: val Scala_3 = "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 Scala_3 = "3.2.0"' in project/Dependencies.scala

40----

41Starting build for 3.8.0-RC2

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

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

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

70"++3.8.0-RC2 -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-RC2 """{"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.57s.

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

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

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

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

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

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

95OpenCB::Limitting incorrect crossVersions List(2.12.20) -> List(3.8.0-RC2) 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::Limitting incorrect crossVersions List(2.12.20) -> List(2.13.10) in core_1JS/crossScalaVersions

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

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

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

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

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

105OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in joda_13/crossScalaVersions

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

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

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

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

110OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in core_1JS3/crossScalaVersions

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

112OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in core_13/crossScalaVersions

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

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

115OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in core_1Native3/crossScalaVersions

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

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

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

119[info] Switching Scala version on:

120[info] core_1JS3 (3.8.0-RC2)

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

122[info] core_1Native3 (3.8.0-RC2)

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

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

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

126[info] core_13 (3.8.0-RC2)

127[info] joda_13 (3.8.0-RC2)

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 Nov 28, 2025, 12:54:21 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] 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] JavaLocalDateGeneratorsSpec:

274[info] JavaLocalDateGenerators.before

275[info] - should not generate errors

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

277[info] JavaLocalDateGenerators.after

278[info] - should not generate errors

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

280[info] JavaLocalDateGenerators.around

281[info] - should not generate errors

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

283[info] JavaInstantGeneratorsSpec:

284[info] JavaInstantGenerators.before

285[info] - should not generate errors

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

287[info] JavaInstantGenerators.after

288[info] - should not generate errors

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

290[info] JavaInstantGenerators.around

291[info] - should not generate errors

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

293+ OK, proved property.

294! Falsified after 0 passed tests.

295> ARG_0:

296> ARG_1:

297+ OK, proved property.

298! Falsified after 0 passed tests.

299> ARG_0:

300> ARG_1:

301+ OK, proved property.

302! Falsified after 0 passed tests.

303> ARG_0:

304> ARG_1:

305+ OK, proved property.

306! Falsified after 0 passed tests.

307> ARG_0:

308> ARG_1:

309[info] JavaLocalDateTimeGeneratorsSpec:

310[info] JavaLocalDateTimeGenerators.before

311[info] - should not generate errors

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

313[info] JavaLocalDateTimeGenerators.after

314[info] - should not generate errors

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

316[info] JavaLocalDateTimeGenerators.around

317[info] - should not generate errors

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

319[info] TruncatedJavaTimeSpec:

320[info] Gen[Instant]

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

322[info] Gen[LocalDateTime]

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

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

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

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

327[info] SeededGenSpec:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

342[info] JavaLocalTimeGeneratorsSpec:

343[info] JavaLocalTimeGenerators.before

344[info] - should not generate errors

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

346[info] JavaLocalTimeGenerators.after

347[info] - should not generate errors

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

349[info] JavaLocalTimeGenerators.around

350[info] - should not generate errors

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

352[info] NewtypeTypeNameSpec:

353[info] - Find a TypeName of a newtype

354[info] - Find a TypeName of a newsubtype

355[info] GenConfigSpec:

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

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

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

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

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

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

362[info] ArbitraryAsGenSpec:

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

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

365[info] GenFromConfigSpec:

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

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

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

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

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

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

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

379[info] GenOrThrowSpec:

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

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

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

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

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

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

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

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

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

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

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+ 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] SeededGenSpec:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

484[info] JavaLocalTimeGeneratorsSpec:

485[info] JavaLocalTimeGenerators.before

486[info] - should not generate errors

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

488[info] JavaLocalTimeGenerators.after

489[info] - should not generate errors

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

491[info] JavaLocalTimeGenerators.around

492[info] - should not generate errors

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

494[info] GenOrThrowSpec:

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

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

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

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

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

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

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

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

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

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

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

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

515[info] GenConfigSpec:

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

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

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

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

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

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

522[info] JavaLocalDateTimeGeneratorsSpec:

523[info] JavaLocalDateTimeGenerators.before

524[info] - should not generate errors

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

526[info] JavaLocalDateTimeGenerators.after

527[info] - should not generate errors

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

529[info] JavaLocalDateTimeGenerators.around

530[info] - should not generate errors

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

532[info] NewtypeTypeNameSpec:

533[info] - Find a TypeName of a newtype

534[info] - Find a TypeName of a newsubtype

535[info] JavaLocalDateGeneratorsSpec:

536[info] JavaLocalDateGenerators.before

537[info] - should not generate errors

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

539[info] JavaLocalDateGenerators.after

540[info] - should not generate errors

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

542[info] JavaLocalDateGenerators.around

543[info] - should not generate errors

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

545[info] TruncatedJavaTimeSpec:

546[info] Gen[Instant]

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

548[info] Gen[LocalDateTime]

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

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

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

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

553[info] GenFromConfigSpec:

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

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

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

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

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

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

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

567[info] JavaInstantGeneratorsSpec:

568[info] JavaInstantGenerators.before

569[info] - should not generate errors

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

571[info] JavaInstantGenerators.after

572[info] - should not generate errors

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

574[info] JavaInstantGenerators.around

575[info] - should not generate errors

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

577[info] GenOpsSpec:

578[info] Gen.collect

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

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

581[info] - should avoid infinite recursion by default

582[info] Gen.of[Stream]

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

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

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

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

587[info] Gen.of[Set]

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

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

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

591[info] Gen.set

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

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

594[info] Gen.setOfN

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

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

597[info] Gen.vectorOf

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

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

600[info] Gen.vectorOfN

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

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

603[info] Gen[Iterator]

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

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

606[info] Gen.enumValue

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

608[info] ArbitraryAsGenSpec:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

669 "test": {"status": "ok", "tookMs": 1245, "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: 53 s, completed Nov 28, 2025, 12:55:14 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.