Build Logs

fthomas/refined • 3.8.0-RC2:2025-11-28

Errors

Warnings

Total Lines

727

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

2Clonning https://github.com/fthomas/refined.git into /build/repo using revision v0.11.3

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

4Note: switching to '30642f2f714847220fe8803da14afa225b14bd31'.

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

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

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

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

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

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

15Or undo this operation with:

17 git switch -

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

21Would override fixed Scala version: 3.3.4

22----

23Preparing build for 3.8.0-RC2

24Scala binary version found: 3.8

25Implicitly using source version 3.8

26Scala binary version found: 3.8

27Implicitly using source version 3.8

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

29Append: ,REQUIRE:-source:3.8

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

32Try apply source patch:

33Path: build.sbt

34Pattern: val Scala_3 = "3.3.4"

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.3.4"' in build.sbt

40----

41Starting build for 3.8.0-RC2

42Execute tests: true

43sbt project found:

44Sbt version 1.10.7 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 fthomas/refined

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

48Scala version: 3.8.0-RC2

49Targets: eu.timepit%refined eu.timepit%refined-cats eu.timepit%refined-jsonpath eu.timepit%refined-pureconfig eu.timepit%refined-scalacheck eu.timepit%refined-scopt

50Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala_3 = \"3.3.4\"","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-XX:+UseG1GC

60-Xmx4G

61-Dcommunitybuild.scala=3.8.0-RC2

62-Dcommunitybuild.project.dependencies.add=

63-Xmx7G

64-Xms4G

65-Xss8M

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

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

68-jar

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

70"setCrossScalaVersions 3.8.0-RC2"

71"++3.8.0-RC2 -v"

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

73"set every credentials := Nil"

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

75"removeScalacOptionsStartingWith -P:wartremover"

77moduleMappings

78"runBuild 3.8.0-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala_3 = \"3.3.4\"","replaceWith":"val Scala_3 = \"<SCALA_VERSION>\""}]}""" eu.timepit%refined eu.timepit%refined-cats eu.timepit%refined-jsonpath eu.timepit%refined-pureconfig eu.timepit%refined-scalacheck eu.timepit%refined-scopt"

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

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

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

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

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

85[info] Compilation completed in 8.729s.

86[info] done compiling

87[info] loading settings for project root from build.sbt, latestVersion.sbt...

88[info] resolving key references (22117 settings) ...

89[info] set current project to refined (in build file:/build/repo/)

90Execute setCrossScalaVersions: 3.8.0-RC2

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

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

93OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in jsonpathJVM/crossScalaVersions

94OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in scalacheckJVM/crossScalaVersions

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

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

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

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

99OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in docs/crossScalaVersions

100OpenCB::Limitting incorrect crossVersions List() -> List(2.12.20) in root/crossScalaVersions

101OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in scalacheckJS/crossScalaVersions

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

103OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in catsNative/crossScalaVersions

104OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in pureconfigJVM/crossScalaVersions

105[info] set current project to refined (in build file:/build/repo/)

106[info] Setting Scala version to 3.8.0-RC2 on 13 projects.

107[info] Switching Scala version on:

108[info] jsonpathJVM (2.12.20, 2.13.15, 3.8.0-RC2)

109[info] scalacheckNative (2.12.20, 2.13.15, 3.8.0-RC2)

110[info] catsNative (2.12.20, 2.13.15, 3.8.0-RC2)

111[info] coreNative (2.12.20, 2.13.15, 3.8.0-RC2)

112[info] docs (2.12.20, 2.13.15, 3.8.0-RC2)

113[info] pureconfigJVM (2.12.20, 2.13.15, 3.8.0-RC2)

114[info] coreJS (2.12.20, 2.13.15, 3.8.0-RC2)

115[info] coreJVM (2.12.20, 2.13.15, 3.8.0-RC2)

116[info] catsJS (2.12.20, 2.13.15, 3.8.0-RC2)

117[info] catsJVM (2.12.20, 2.13.15, 3.8.0-RC2)

118[info] scoptJVM (2.12.20, 2.13.15, 3.8.0-RC2)

119[info] scalacheckJVM (2.12.20, 2.13.15, 3.8.0-RC2)

120[info] scalacheckJS (2.12.20, 2.13.15, 3.8.0-RC2)

121[info] Excluding projects:

122[info] shapelessJS (2.12.20, 2.13.15)

123[info] * root (2.12.20)

124[info] shapelessNative (2.12.20, 2.13.15)

125[info] scodecJVM (2.12.20, 2.13.15)

126[info] scodecJS (2.12.20, 2.13.15)

127[info] shapelessJVM (2.12.20, 2.13.15)

128[info] evalJVM (2.12.20, 2.13.15)

129[info] scalazJVM (2.12.20, 2.13.15)

130[info] benchmark (2.12.20, 2.13.15)

131[info] Reapplying settings...

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

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

134[info] Reapplying settings...

135[info] set current project to refined (in build file:/build/repo/)

136[info] Defining Global / credentials, benchmark / credentials and 20 others.

137[info] The new values will be used by Compile / scalafmtOnly, Global / pgpSelectPassphrase and 175 others.

138[info] Run `last` for details.

139[info] Reapplying settings...

140[info] set current project to refined (in build file:/build/repo/)

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

142[info] Reapplying settings...

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

144

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

146 Did you mean scodecJS / allExcludeDependencies ?

147 , retry without global scopes

148[info] Reapplying settings...

149[info] set current project to refined (in build file:/build/repo/)

150Execute removeScalacOptionsStartingWith: -P:wartremover

151[info] Reapplying settings...

152[info] set current project to refined (in build file:/build/repo/)

153[success] Total time: 0 s, completed Nov 28, 2025, 2:32:11 PM

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

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

156Starting build...

157Projects: Set(jsonpathJVM, pureconfigJVM, coreJVM, catsJVM, scoptJVM, scalacheckJVM)

158Starting build for ProjectRef(file:/build/repo/,scoptJVM) (refined-scopt)... [0/6]

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

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

161Compile scalacOptions: -encoding, UTF-8, -language:existentials, -language:experimental.macros, -language:higherKinds, -language:implicitConversions, -unchecked, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

162[info] compiling 39 Scala sources to /build/repo/modules/core/jvm/target/scala-3.8.0-RC2/classes ...

163[info] done compiling

164[info] compiling 1 Scala source to /build/repo/modules/scopt/jvm/target/scala-3.8.0-RC2/classes ...

165[info] done compiling

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

167[info] done compiling

168[info] compiling 1 Scala source to /build/repo/modules/scopt/jvm/target/scala-3.8.0-RC2/test-classes ...

169[info] done compiling

170[info] + RefTypeRead.load success: OK, proved property.

171Error: Option --foo failed when given '0'. Predicate failed: (0 > 0).

172Usage: tests [options]

173

174 -f, --foo <value> foo is a positive integer property

175[info] + RefTypeRead.load failure (predicate): OK, proved property.

176Error: Option --foo expects a number but was given 'abc'

177Usage: tests [options]

178

179 -f, --foo <value> foo is a positive integer property

180[info] + RefTypeRead.load failure (wrong type): OK, proved property.

181Starting build for ProjectRef(file:/build/repo/,catsJVM) (refined-cats)... [1/6]

182Compile scalacOptions: -encoding, UTF-8, -language:existentials, -language:experimental.macros, -language:higherKinds, -language:implicitConversions, -unchecked, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

183[info] compiling 5 Scala sources to /build/repo/modules/cats/jvm/target/scala-3.8.0-RC2/classes ...

184[info] done compiling

185[info] compiling 12 Scala sources to /build/repo/modules/scalacheck/jvm/target/scala-3.8.0-RC2/classes ...

186[info] done compiling

187[info] compiling 8 Scala sources to /build/repo/modules/cats/jvm/target/scala-3.8.0-RC2/test-classes ...

188[info] done compiling

189[info] + syntax.ValidateNel when Valid: OK, proved property.

190[info] + syntax.ValidateNel when Invalid: OK, proved property.

191[info] + syntax.validateNel without import: OK, proved property.

192[info] + syntax.ValidateNec when Valid: OK, proved property.

193[info] + syntax.ValidateNec when Invalid: OK, proved property.

194[info] + syntax.validateNec without import: OK, proved property.

195[info] + syntax.NonEmptyList refinedSize (1): OK, proved property.

196[info] + syntax.NonEmptyList refinedSize (> 1): OK, proved property.

197[info] + syntax.NonEmptyList take (== size): OK, proved property.

198[info] + syntax.NonEmptyList take (> size): OK, proved property.

199[info] + syntax.NonEmptyList take (< size): OK, proved property.

200[info] + syntax.NonEmptyVector take (== size): OK, proved property.

201[info] + syntax.NonEmptyVector take (> size): OK, proved property.

202[info] + syntax.NonEmptyVector take (< size): OK, proved property.

203[info] + NonNegShift.shift Byte: OK, passed 100 tests.

204[info] + NonNegShift.shift Short: OK, passed 100 tests.

205[info] + NonNegShift.shift Int: OK, passed 100 tests.

206[info] + NonNegShift.shift Long: OK, passed 100 tests.

207[info] + cats.Eq: OK, proved property.

208[info] + cats.Order: OK, proved property.

209[info] + cats.Show: OK, proved property.

210[info] + NegShift.shift Byte: OK, passed 100 tests.

211[info] + NegShift.shift Short: OK, passed 100 tests.

212[info] + NegShift.shift Int: OK, passed 100 tests.

213[info] + NegShift.shift Long: OK, passed 100 tests.

214[info] + imports.NonEmptyString.show: OK, proved property.

215[info] + Contravariant.Encoder[Int]: OK, proved property.

216[info] + Contravariant.derive Encoder[PosInt] via Contravariant[Encoder]: OK, proved property.

217[info] + unorderedFoldable.Size validate for NonEmptyList: OK, proved property.

218[info] + unorderedFoldable.Failing Size validate for NonEmptyList: OK, proved property.

219[info] + unorderedFoldable.showExpr for NonEmptyList: OK, proved property.

220[info] + Semigroup.Positive Integral types overflow: OK, proved property.

221[info] + Semigroup.NonNegative Integral types overflow: OK, proved property.

222[info] + Semigroup.Negative Integral types overflow: OK, proved property.

223[info] CommutativeSemigroupAndMonoidLawTests:

224[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.associative

225[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.combineAllOption

226[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.commutative

227[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.intercalateCombineAllOption

228[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.intercalateIntercalates

229[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.intercalateRepeat1

230[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.intercalateRepeat2

231[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.repeat1

232[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.repeat2

233[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.reverseCombineAllOption

234[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.reverseRepeat1

235[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.reverseRepeat2

236[info] - CommutativeSemigroup[PosByte].commutativeSemigroup.reverseReverses

237[info] - CommutativeSemigroup[PosByte].serializable.can serialize and deserialize

238[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.associative

239[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.combineAllOption

240[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.commutative

241[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.intercalateCombineAllOption

242[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.intercalateIntercalates

243[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.intercalateRepeat1

244[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.intercalateRepeat2

245[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.repeat1

246[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.repeat2

247[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.reverseCombineAllOption

248[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.reverseRepeat1

249[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.reverseRepeat2

250[info] - CommutativeSemigroup[PosShort].commutativeSemigroup.reverseReverses

251[info] - CommutativeSemigroup[PosShort].serializable.can serialize and deserialize

252[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.associative

253[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.combineAllOption

254[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.commutative

255[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.intercalateCombineAllOption

256[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.intercalateIntercalates

257[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.intercalateRepeat1

258[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.intercalateRepeat2

259[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.repeat1

260[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.repeat2

261[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.reverseCombineAllOption

262[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.reverseRepeat1

263[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.reverseRepeat2

264[info] - CommutativeSemigroup[PosInt].commutativeSemigroup.reverseReverses

265[info] - CommutativeSemigroup[PosInt].serializable.can serialize and deserialize

266[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.associative

267[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.combineAllOption

268[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.commutative

269[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.intercalateCombineAllOption

270[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.intercalateIntercalates

271[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.intercalateRepeat1

272[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.intercalateRepeat2

273[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.repeat1

274[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.repeat2

275[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.reverseCombineAllOption

276[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.reverseRepeat1

277[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.reverseRepeat2

278[info] - CommutativeSemigroup[PosLong].commutativeSemigroup.reverseReverses

279[info] - CommutativeSemigroup[PosLong].serializable.can serialize and deserialize

280[info] - CommutativeSemigroup[PosFloat].serializable.can serialize and deserialize

281[info] - CommutativeSemigroup[PosDouble].serializable.can serialize and deserialize

282[info] - CommutativeSemigroup[PosBigDecimal].serializable.can serialize and deserialize

283[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.associative

284[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.combineAllOption

285[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.commutative

286[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.intercalateCombineAllOption

287[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.intercalateIntercalates

288[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.intercalateRepeat1

289[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.intercalateRepeat2

290[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.repeat1

291[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.repeat2

292[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.reverseCombineAllOption

293[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.reverseRepeat1

294[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.reverseRepeat2

295[info] - CommutativeSemigroup[NegByte].commutativeSemigroup.reverseReverses

296[info] - CommutativeSemigroup[NegByte].serializable.can serialize and deserialize

297[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.associative

298[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.combineAllOption

299[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.commutative

300[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.intercalateCombineAllOption

301[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.intercalateIntercalates

302[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.intercalateRepeat1

303[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.intercalateRepeat2

304[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.repeat1

305[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.repeat2

306[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.reverseCombineAllOption

307[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.reverseRepeat1

308[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.reverseRepeat2

309[info] - CommutativeSemigroup[NegShort].commutativeSemigroup.reverseReverses

310[info] - CommutativeSemigroup[NegShort].serializable.can serialize and deserialize

311[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.associative

312[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.combineAllOption

313[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.commutative

314[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.intercalateCombineAllOption

315[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.intercalateIntercalates

316[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.intercalateRepeat1

317[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.intercalateRepeat2

318[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.repeat1

319[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.repeat2

320[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.reverseCombineAllOption

321[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.reverseRepeat1

322[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.reverseRepeat2

323[info] - CommutativeSemigroup[NegInt].commutativeSemigroup.reverseReverses

324[info] - CommutativeSemigroup[NegInt].serializable.can serialize and deserialize

325[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.associative

326[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.combineAllOption

327[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.commutative

328[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.intercalateCombineAllOption

329[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.intercalateIntercalates

330[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.intercalateRepeat1

331[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.intercalateRepeat2

332[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.repeat1

333[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.repeat2

334[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.reverseCombineAllOption

335[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.reverseRepeat1

336[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.reverseRepeat2

337[info] - CommutativeSemigroup[NegLong].commutativeSemigroup.reverseReverses

338[info] - CommutativeSemigroup[NegLong].serializable.can serialize and deserialize

339[info] - CommutativeSemigroup[NegFloat].serializable.can serialize and deserialize

340[info] - CommutativeSemigroup[NegDouble].serializable.can serialize and deserialize

341[info] - CommutativeSemigroup[NegBigDecimal].serializable.can serialize and deserialize

342[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.associative

343[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.collect0

344[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.combine all

345[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.combineAllOption

346[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.commutative

347[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.intercalateCombineAllOption

348[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.intercalateIntercalates

349[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.intercalateRepeat1

350[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.intercalateRepeat2

351[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.is id

352[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.left identity

353[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.repeat0

354[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.repeat1

355[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.repeat2

356[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.reverseCombineAllOption

357[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.reverseRepeat1

358[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.reverseRepeat2

359[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.reverseReverses

360[info] - CommutativeMonoid[NonNegByte].commutativeMonoid.right identity

361[info] - CommutativeMonoid[NonNegByte].serializable.can serialize and deserialize

362[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.associative

363[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.collect0

364[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.combine all

365[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.combineAllOption

366[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.commutative

367[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.intercalateCombineAllOption

368[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.intercalateIntercalates

369[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.intercalateRepeat1

370[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.intercalateRepeat2

371[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.is id

372[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.left identity

373[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.repeat0

374[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.repeat1

375[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.repeat2

376[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.reverseCombineAllOption

377[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.reverseRepeat1

378[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.reverseRepeat2

379[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.reverseReverses

380[info] - CommutativeMonoid[NonNegShort].commutativeMonoid.right identity

381[info] - CommutativeMonoid[NonNegShort].serializable.can serialize and deserialize

382[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.associative

383[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.collect0

384[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.combine all

385[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.combineAllOption

386[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.commutative

387[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.intercalateCombineAllOption

388[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.intercalateIntercalates

389[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.intercalateRepeat1

390[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.intercalateRepeat2

391[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.is id

392[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.left identity

393[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.repeat0

394[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.repeat1

395[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.repeat2

396[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.reverseCombineAllOption

397[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.reverseRepeat1

398[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.reverseRepeat2

399[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.reverseReverses

400[info] - CommutativeMonoid[NonNegInt].commutativeMonoid.right identity

401[info] - CommutativeMonoid[NonNegInt].serializable.can serialize and deserialize

402[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.associative

403[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.collect0

404[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.combine all

405[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.combineAllOption

406[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.commutative

407[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.intercalateCombineAllOption

408[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.intercalateIntercalates

409[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.intercalateRepeat1

410[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.intercalateRepeat2

411[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.is id

412[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.left identity

413[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.repeat0

414[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.repeat1

415[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.repeat2

416[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.reverseCombineAllOption

417[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.reverseRepeat1

418[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.reverseRepeat2

419[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.reverseReverses

420[info] - CommutativeMonoid[NonNegLong].commutativeMonoid.right identity

421[info] - CommutativeMonoid[NonNegLong].serializable.can serialize and deserialize

422[info] - CommutativeMonoid[NonNegFloat].serializable.can serialize and deserialize

423[info] - CommutativeMonoid[NonNegDouble].serializable.can serialize and deserialize

424[info] - CommutativeMonoid[NonNegBigDecimal].serializable.can serialize and deserialize

425[info] - CommutativeMonoid[NonPosFloat].serializable.can serialize and deserialize

426[info] - CommutativeMonoid[NonPosDouble].serializable.can serialize and deserialize

427Starting build for ProjectRef(file:/build/repo/,scalacheckJVM) (refined-scalacheck)... [2/6]

428Compile scalacOptions: -encoding, UTF-8, -language:existentials, -language:experimental.macros, -language:higherKinds, -language:implicitConversions, -unchecked, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

429[info] compiling 3 Scala sources to /build/repo/modules/scalacheck/jvm/target/scala-3.8.0-RC2/test-classes ...

430[info] done compiling

431[info] + StringArbitrary.EndsWith[S]: OK, passed 100 tests.

432[info] + StringArbitrary.StartsWith[S]: OK, passed 100 tests.

433[info] + StringArbitrary.NonEmptyString: OK, passed 100 tests.

434[info] + StringArbitrary.TrimmedString: OK, passed 100 tests.

435[info] + StringArbitrary.MaxSize[16]: OK, passed 100 tests.

436[info] + StringArbitrary.FiniteString[10]: OK, passed 100 tests.

437[info] + StringArbitrary.Size[Equal[8]]: OK, passed 100 tests.

438[info] + StringArbitrary.NonEmptyFiniteString[10]: OK, passed 100 tests.

439[info] + StringArbitrary.Uuid: OK, passed 100 tests.

440[info] + StringArbitrary.ValidByte: OK, passed 100 tests.

441[info] + StringArbitrary.ValidShort: OK, passed 100 tests.

442[info] + StringArbitrary.ValidInt: OK, passed 100 tests.

443[info] + StringArbitrary.ValidLong: OK, passed 100 tests.

444[info] + StringArbitrary.ValidFloat: OK, passed 100 tests.

445[info] + StringArbitrary.ValidDouble: OK, passed 100 tests.

446[info] + StringArbitrary.ValidBigInt: OK, passed 100 tests.

447[info] + StringArbitrary.ValidBigDecimal: OK, passed 100 tests.

448[info] + Package.Cogen[Short Refined Positive]: OK, proved property.

449[info] + Package.Cogen[LowerCaseChar]: OK, proved property.

450[info] + Package.Cogen[NonEmptyString]: OK, proved property.

451[info] + Package.Cogen[PosInt]: OK, proved property.

452[info] + ZeroDiscardRatioSpec.NonEmptyString: OK, passed 100 tests.

453Starting build for ProjectRef(file:/build/repo/,coreJVM) (refined)... [3/6]

454Compile scalacOptions: -encoding, UTF-8, -language:existentials, -language:experimental.macros, -language:higherKinds, -language:implicitConversions, -unchecked, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

455[info] + auto.autoUnwrap: PosInt: Int: OK, proved property.

456[info] + auto.autoUnwrap: PosInt + PosInt: OK, proved property.

457[info] + RefinedTypeOps.from ~= unapply: OK, passed 100 tests.

458[info] + RefinedTypeOps.from ~= unsafeFrom: OK, passed 100 tests.

459[info] + NetTypes.Rfc1918ClassAPrivateSpec.before: OK, proved property.

460[info] + NetTypes.Rfc1918ClassAPrivateSpec.isValid.first: OK, proved property.

461[info] + NetTypes.Rfc1918ClassAPrivateSpec.isValid.inside: OK, proved property.

462[info] + NetTypes.Rfc1918ClassAPrivateSpec.isValid.last: OK, proved property.

463[info] + NetTypes.Rfc1918ClassAPrivateSpec.after: OK, proved property.

464[info] + NetTypes.Rfc1918ClassBPrivateSpec.before: OK, proved property.

465[info] + NetTypes.Rfc1918ClassBPrivateSpec.isValid.first: OK, proved property.

466[info] + NetTypes.Rfc1918ClassBPrivateSpec.isValid.inside: OK, proved property.

467[info] + NetTypes.Rfc1918ClassBPrivateSpec.isValid.last: OK, proved property.

468[info] + NetTypes.Rfc1918ClassBPrivateSpec.after: OK, proved property.

469[info] + NetTypes.Rfc1918ClassBPrivateSpec.issue795: OK, proved property.

470[info] + NetTypes.Rfc1918ClassCPrivateSpec.before: OK, proved property.

471[info] + NetTypes.Rfc1918ClassCPrivateSpec.isValid.first: OK, proved property.

472[info] + NetTypes.Rfc1918ClassCPrivateSpec.isValid.inside: OK, proved property.

473[info] + NetTypes.Rfc1918ClassCPrivateSpec.isValid.last: OK, proved property.

474[info] + NetTypes.Rfc1918ClassCPrivateSpec.after: OK, proved property.

475[info] + NetTypes.Rfc5737Testnet1Spec.before: OK, proved property.

476[info] + NetTypes.Rfc5737Testnet1Spec.isValid.first: OK, proved property.

477[info] + NetTypes.Rfc5737Testnet1Spec.isValid.inside: OK, proved property.

478[info] + NetTypes.Rfc5737Testnet1Spec.isValid.last: OK, proved property.

479[info] + NetTypes.Rfc5737Testnet1Spec.after: OK, proved property.

480[info] + NetTypes.Rfc5737Testnet2Spec.before: OK, proved property.

481[info] + NetTypes.Rfc5737Testnet2Spec.isValid.first: OK, proved property.

482[info] + NetTypes.Rfc5737Testnet2Spec.isValid.inside: OK, proved property.

483[info] + NetTypes.Rfc5737Testnet2Spec.isValid.last: OK, proved property.

484[info] + NetTypes.Rfc5737Testnet2Spec.after: OK, proved property.

485[info] + NetTypes.Rfc5737Testnet3Spec.before: OK, proved property.

486[info] + NetTypes.Rfc5737Testnet3Spec.isValid.first: OK, proved property.

487[info] + NetTypes.Rfc5737Testnet3Spec.isValid.inside: OK, proved property.

488[info] + NetTypes.Rfc5737Testnet3Spec.isValid.last: OK, proved property.

489[info] + NetTypes.Rfc5737Testnet3Spec.after: OK, proved property.

490[info] + NetTypes.Rfc3927LocalLinkSpec.before: OK, proved property.

491[info] + NetTypes.Rfc3927LocalLinkSpec.isValid.first: OK, proved property.

492[info] + NetTypes.Rfc3927LocalLinkSpec.isValid.inside: OK, proved property.

493[info] + NetTypes.Rfc3927LocalLinkSpec.isValid.last: OK, proved property.

494[info] + NetTypes.Rfc3927LocalLinkSpec.after: OK, proved property.

495[info] + NetTypes.Rfc2544BenchmarkSpec.before: OK, proved property.

496[info] + NetTypes.Rfc2544BenchmarkSpec.isValid.first: OK, proved property.

497[info] + NetTypes.Rfc2544BenchmarkSpec.isValid.inside: OK, proved property.

498[info] + NetTypes.Rfc2544BenchmarkSpec.isValid.last: OK, proved property.

499[info] + NetTypes.Rfc2544BenchmarkSpec.after: OK, proved property.

500[info] + CharValidate.Digit.isValid: OK, passed 100 tests.

501[info] + CharValidate.Digit.showExpr: OK, proved property.

502[info] + CharValidate.Digit(): OK, proved property.

503[info] + CharValidate.Letter.isValid: OK, passed 100 tests.

504[info] + CharValidate.Letter.showExpr: OK, proved property.

505[info] + CharValidate.LowerCase.isValid: OK, passed 100 tests.

506[info] + CharValidate.LowerCase.showExpr: OK, proved property.

507[info] + CharValidate.UpperCase.isValid: OK, passed 100 tests.

508[info] + CharValidate.UpperCase.showExpr: OK, proved property.

509[info] + CharTypes.LowerCaseChar.from('a'): OK, proved property.

510[info] + CharTypes.LowerCaseChar.from('A'): OK, proved property.

511[info] + CharTypes.UpperCaseChar.from('A'): OK, proved property.

512[info] + CharTypes.UpperCaseChar.from('a'): OK, proved property.

513[info] + NumericTypes.PosByte.from(1): OK, proved property.

514[info] + NumericTypes.PosByte.from(0): OK, proved property.

515[info] + NumericTypes.NonNegByte.from(0): OK, proved property.

516[info] + NumericTypes.NonNegByte.from(-1): OK, proved property.

517[info] + NumericTypes.NegByte.from(-1): OK, proved property.

518[info] + NumericTypes.NegByte.from(0): OK, proved property.

519[info] + NumericTypes.NonPosByte.from(0): OK, proved property.

520[info] + NumericTypes.NonPosByte.from(1): OK, proved property.

521[info] + NumericTypes.PosShort.from(1): OK, proved property.

522[info] + NumericTypes.PosShort.from(0): OK, proved property.

523[info] + NumericTypes.NonNegShort.from(0): OK, proved property.

524[info] + NumericTypes.NonNegShort.from(-1): OK, proved property.

525[info] + NumericTypes.NegShort.from(-1): OK, proved property.

526[info] + NumericTypes.NegShort.from(0): OK, proved property.

527[info] + NumericTypes.NonPosShort.from(0): OK, proved property.

528[info] + NumericTypes.NonPosShort.from(1): OK, proved property.

529[info] + NumericTypes.PosInt.from(1): OK, proved property.

530[info] + NumericTypes.PosInt.from(0): OK, proved property.

531[info] + NumericTypes.NonNegInt.from(0): OK, proved property.

532[info] + NumericTypes.NonNegInt.from(-1): OK, proved property.

533[info] + NumericTypes.NegInt.from(-1): OK, proved property.

534[info] + NumericTypes.NegInt.from(0): OK, proved property.

535[info] + NumericTypes.NonPosInt.from(0): OK, proved property.

536[info] + NumericTypes.NonPosInt.from(1): OK, proved property.

537[info] + NumericTypes.PosLong.from(1L): OK, proved property.

538[info] + NumericTypes.PosLong.from(0L): OK, proved property.

539[info] + NumericTypes.NonNegLong.from(0L): OK, proved property.

540[info] + NumericTypes.NonNegLong.from(-1L): OK, proved property.

541[info] + NumericTypes.NegLong.from(-1L): OK, proved property.

542[info] + NumericTypes.NegLong.from(0L): OK, proved property.

543[info] + NumericTypes.NonPosLong.from(0L): OK, proved property.

544[info] + NumericTypes.NonPosLong.from(1L): OK, proved property.

545[info] + NumericTypes.PosBigInt.from(BigInt(1)): OK, proved property.

546[info] + NumericTypes.PosBigInt.from(BigInt(0)): OK, proved property.

547[info] + NumericTypes.NonNegBigInt.from(BigInt(0)): OK, proved property.

548[info] + NumericTypes.NonNegBigInt.from(BigInt(-1)): OK, proved property.

549[info] + NumericTypes.NegBigInt.from(BigInt(-1)): OK, proved property.

550[info] + NumericTypes.NegBigInt.from(BigInt(0)): OK, proved property.

551[info] + NumericTypes.NonPosBigInt.from(BigInt(0)): OK, proved property.

552[info] + NumericTypes.NonPosBigInt.from(BigInt(1)): OK, proved property.

553[info] + NumericTypes.PosFloat.from(0.1F): OK, proved property.

554[info] + NumericTypes.PosFloat.from(0.0F): OK, proved property.

555[info] + NumericTypes.NonNegFloat.from(0.0F): OK, proved property.

556[info] + NumericTypes.NonNegFloat.from(-0.1F): OK, proved property.

557[info] + NumericTypes.NegFloat.from(-0.1F): OK, proved property.

558[info] + NumericTypes.NegFloat.from(0.0F): OK, proved property.

559[info] + NumericTypes.NonPosFloat.from(0.0F): OK, proved property.

560[info] + NumericTypes.NonPosFloat.from(0.1F): OK, proved property.

561[info] + NumericTypes.PosDouble.from(0.1): OK, proved property.

562[info] + NumericTypes.PosDouble.from(0.0): OK, proved property.

563[info] + NumericTypes.NonNegDouble.from(0.0): OK, proved property.

564[info] + NumericTypes.NonNegDouble.from(-0.1): OK, proved property.

565[info] + NumericTypes.NegDouble.from(-0.1): OK, proved property.

566[info] + NumericTypes.NegDouble.from(0.0): OK, proved property.

567[info] + NumericTypes.NonPosDouble.from(0.0): OK, proved property.

568[info] + NumericTypes.NonPosDouble.from(0.1): OK, proved property.

569[info] + NumericTypes.PosBigDecimal.from(BigDecimal(0.1)): OK, proved property.

570[info] + NumericTypes.PosBigDecimal.from(BigDecimal(0.0)): OK, proved property.

571[info] + NumericTypes.NonNegBigDecimal.from(BigDecimal(0.0)): OK, proved property.

572[info] + NumericTypes.NonNegBigDecimal.from(BigDecimal(-0.1)): OK, proved property.

573[info] + NumericTypes.NegBigDecimal.from(BigDecimal(-0.1)): OK, proved property.

574[info] + NumericTypes.NegBigDecimal.from(BigDecimal(0.0)): OK, proved property.

575[info] + NumericTypes.NonPosBigDecimal.from(BigDecimal(0.0)): OK, proved property.

576[info] + NumericTypes.NonPosBigDecimal.from(BigDecimal(0.1)): OK, proved property.

577[info] + NumericValidate.isValid[Less[1]](d: Double): OK, passed 100 tests.

578[info] + NumericValidate.isValid[Less[1.0]](d: Double): OK, passed 100 tests.

579[info] + NumericValidate.isValid[Less[1.0]](d: BigDecimal): OK, passed 100 tests.

580[info] + NumericValidate.showExpr[Less[5]](0): OK, proved property.

581[info] + NumericValidate.showExpr[Less[1.1]](0.1): OK, proved property.

582[info] + NumericValidate.isValid[LessEqual[5]](i: Int): OK, passed 100 tests.

583[info] + NumericValidate.showExpr[LessEqual[5]](0): OK, proved property.

584[info] + NumericValidate.isValid[Greater[1.0]](b: Byte): OK, passed 100 tests.

585[info] + NumericValidate.isValid[Greater[1.0]](d: Double): OK, passed 100 tests.

586[info] + NumericValidate.showExpr[Greater[1.1]](0.1): OK, proved property.

587[info] + NumericValidate.isValid[GreaterEqual[5L]](l: Long): OK, passed 100 tests.

588[info] + NumericValidate.showExpr[GreaterEqual[5]](0): OK, proved property.

589[info] + NumericValidate.isValid[Modulo[2, 0]](b: Byte): OK, passed 100 tests.

590[info] + NumericValidate.isValid[Modulo[2, 0]](s: Short): OK, passed 100 tests.

591[info] + NumericValidate.isValid[Modulo[2, 0]](i: Int): OK, passed 100 tests.

592[info] + NumericValidate.isValid[Modulo[2, 0]](l: Long): OK, passed 100 tests.

593[info] + NumericValidate.isValid[Modulo[2L, 0L]](l: Long): OK, passed 100 tests.

594[info] + NumericValidate.showExpr[Modulo[2, 0]](4): OK, proved property.

595[info] + NumericValidate.isValid[Divisible[2]](i: Int): OK, passed 100 tests.

596[info] + NumericValidate.showExpr[Divisible[2]](4): OK, proved property.

597[info] + NumericValidate.isValid[NonDivisible[2]](i: Int): OK, passed 100 tests.

598[info] + NumericValidate.showExpr[NonDivisible[2]](4): OK, proved property.

599[info] + NumericValidate.isValid[Even](i: Int): OK, passed 100 tests.

600[info] + NumericValidate.showExpr[Even](4): OK, proved property.

601[info] + NumericValidate.isValid[Odd](i: Int): OK, passed 100 tests.

602[info] + NumericValidate.showExpr[Odd](4): OK, proved property.

603[info] + NumericValidate.isValid[Interval.Open[0, 1]](d: Double): OK, passed 100 tests.

604[info] + NumericValidate.showExpr[Interval.Open[0, 1]](0.5): OK, proved property.

605[info] + NumericValidate.isValid[Interval.OpenClosed[0, 1]](d: Double): OK, passed 100 tests.

606[info] + NumericValidate.showExpr[Interval.OpenClosed[0, 1]](0.5): OK, proved property.

607[info] + NumericValidate.isValid[Interval.ClosedOpen[0, 1]](d: Double): OK, passed 100 tests.

608[info] + NumericValidate.showExpr[Interval.ClosedOpen[0, 1]](0.5): OK, proved property.

609[info] + NumericValidate.isValid[Interval.Closed[0, 1]](d: Double): OK, passed 100 tests.

610[info] + NumericValidate.showExpr[Interval.Closed[0, 1]](0.5): OK, proved property.

611[info] + NumericValidate.isValid[NonNaN](f: Float): OK, passed 100 tests.

612[info] + NumericValidate.showExpr[NonNaN](Float.NaN): OK, proved property.

613[info] + NumericValidate.isValid[NonNaN](d: Double): OK, passed 100 tests.

614[info] + NumericValidate.showExpr[NonNaN](Double.NaN): OK, proved property.

615[info] + StringValidate.Regex.showResult: OK, proved property.

616[info] + StringValidate.Url.isValid: OK, proved property.

617[info] + StringValidate.Url.showResult: OK, proved property.

618[info] + StringValidate.XPath.isValid: OK, proved property.

619[info] + StringValidate.XPath.showResult: OK, proved property.

620[info] + numeric.scala.numeric.scala:10: numeric.example at line 21: refineV[Greater[5]](BigInt(10)): OK, proved property.

621[info] + numeric.scala.numeric.scala:10: numeric.example at line 24: refineV[LessEqual[1.5]](1.4): OK, proved property.

622[info] + WitnessAs.scala.WitnessAs.scala:5: WitnessAs.example at line 18: refineV[Greater[2.718]](BigDecimal(3.141)): OK, proved property.

623[info] + WitnessAs.scala.WitnessAs.scala:5: WitnessAs.example at line 21: refineV[Less[1]](0.618): OK, proved property.

624[info] + auto.scala.auto.scala:11: autoUnwrap.example at line 24: plusOne(x): OK, proved property.

625[info] + RefinedTypeOps.scala.RefinedTypeOps.scala:3: RefinedTypeOps.example at line 16: PosInt.from(1): OK, proved property.

626[info] + RefinedTypeOps.scala.RefinedTypeOps.scala:3: RefinedTypeOps.example at line 19: PosInt.unsafeFrom(2): OK, proved property.

627[info] + string.scala.string.scala:23: truncate.example at line 30: FiniteString[3].truncate("abcde"): OK, proved property.

628[info] + string.scala.string.scala:38: apply.example at line 45: FString4.from("abcd"): OK, proved property.

629[info] + string.scala.string.scala:72: truncate.example at line 79: NonEmptyFiniteString[3].truncate("abcde"): OK, proved property.

630[info] + string.scala.string.scala:86: truncateNes.example at line 94: NonEmptyFiniteString[3].truncateNes(nes): OK, proved property.

631[info] + string.scala.string.scala:105: apply.example at line 112: NEFString4.from("abcd"): OK, proved property.

632[info] + RefType.scala.RefType.scala:23: refine.example at line 32: RefType[Refined].refine[Positive](10): OK, proved property.

633[info] + RefType.scala.RefType.scala:59: applyRef.example at line 69: RefType.applyRef[PosInt](10): OK, proved property.

634Starting build for ProjectRef(file:/build/repo/,jsonpathJVM) (refined-jsonpath)... [4/6]

635Compile scalacOptions: -encoding, UTF-8, -language:existentials, -language:experimental.macros, -language:higherKinds, -language:implicitConversions, -unchecked, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

636[info] compiling 1 Scala source to /build/repo/modules/jsonpath/jvm/target/scala-3.8.0-RC2/classes ...

637[info] done compiling

638[info] compiling 1 Scala source to /build/repo/modules/jsonpath/jvm/target/scala-3.8.0-RC2/test-classes ...

639[info] done compiling

640SLF4J(W): No SLF4J providers were found.

641SLF4J(W): Defaulting to no-operation (NOP) logger implementation

642SLF4J(W): See https://www.slf4j.org/codes.html#noProviders for further details.

643[info] + JSONPathStringValidate.JSONPath is valid: OK, proved property.

644[info] + JSONPathStringValidate.Illegal character at position 1 expected '.' or '[': OK, proved property.

645[info] + JSONPathStringValidate.Path must not end with a '.' or '..': OK, proved property.

646Starting build for ProjectRef(file:/build/repo/,pureconfigJVM) (refined-pureconfig)... [5/6]

647Compile scalacOptions: -encoding, UTF-8, -language:existentials, -language:experimental.macros, -language:higherKinds, -language:implicitConversions, -unchecked, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

648[info] compiling 3 Scala sources to /build/repo/modules/pureconfig/jvm/target/scala-3.8.0-RC2/classes ...

649[info] done compiling

650[info] compiling 1 Scala source to /build/repo/modules/pureconfig/jvm/target/scala-3.8.0-RC2/test-classes ...

651[info] done compiling

652[info] + RefTypeConfigConvert.load success: OK, proved property.

653[info] + RefTypeConfigConvert.load failure (predicate): OK, proved property.

654[info] + RefTypeConfigConvert.load failure (wrong type): OK, proved property.

655[info] + RefTypeConfigConvert.roundtrip success: OK, proved property.

656

657************************

658Build summary:

659[{

660 "module": "refined-scopt",

661 "compile": {"status": "ok", "tookMs": 14460, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

664 "test": {"status": "ok", "tookMs": 1383, "passed": 3, "failed": 0, "ignored": 0, "skipped": 0, "total": 3, "byFramework": [{"framework": "unknown", "stats": {"passed": 3, "failed": 0, "ignored": 0, "skipped": 0, "total": 3}}]},

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

666 "metadata": {

667 "crossScalaVersions": ["2.12.20", "2.13.15", "3.3.4"]

668}

669},{

670 "module": "refined-cats",

671 "compile": {"status": "ok", "tookMs": 3303, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

674 "test": {"status": "ok", "tookMs": 2456, "passed": 237, "failed": 0, "ignored": 0, "skipped": 0, "total": 237, "byFramework": [{"framework": "unknown", "stats": {"passed": 237, "failed": 0, "ignored": 0, "skipped": 0, "total": 237}}]},

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

676 "metadata": {

677 "crossScalaVersions": ["2.12.20", "2.13.15", "3.3.4"]

678}

679},{

680 "module": "refined-scalacheck",

681 "compile": {"status": "ok", "tookMs": 122, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

684 "test": {"status": "ok", "tookMs": 1032, "passed": 22, "failed": 0, "ignored": 0, "skipped": 0, "total": 22, "byFramework": [{"framework": "unknown", "stats": {"passed": 22, "failed": 0, "ignored": 0, "skipped": 0, "total": 22}}]},

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

686 "metadata": {

687 "crossScalaVersions": ["2.12.20", "2.13.15", "3.3.4"]

688}

689},{

690 "module": "refined",

691 "compile": {"status": "ok", "tookMs": 56, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

694 "test": {"status": "ok", "tookMs": 1242, "passed": 179, "failed": 0, "ignored": 0, "skipped": 0, "total": 179, "byFramework": [{"framework": "unknown", "stats": {"passed": 179, "failed": 0, "ignored": 0, "skipped": 0, "total": 179}}]},

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

696 "metadata": {

697 "crossScalaVersions": ["2.12.20", "2.13.15", "3.3.4"]

698}

699},{

700 "module": "refined-jsonpath",

701 "compile": {"status": "ok", "tookMs": 440, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

704 "test": {"status": "ok", "tookMs": 755, "passed": 3, "failed": 0, "ignored": 0, "skipped": 0, "total": 3, "byFramework": [{"framework": "unknown", "stats": {"passed": 3, "failed": 0, "ignored": 0, "skipped": 0, "total": 3}}]},

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

706 "metadata": {

707 "crossScalaVersions": ["2.12.20", "2.13.15", "3.3.4"]

708}

709},{

710 "module": "refined-pureconfig",

711 "compile": {"status": "ok", "tookMs": 685, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

714 "test": {"status": "ok", "tookMs": 887, "passed": 4, "failed": 0, "ignored": 0, "skipped": 0, "total": 4, "byFramework": [{"framework": "unknown", "stats": {"passed": 4, "failed": 0, "ignored": 0, "skipped": 0, "total": 4}}]},

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

716 "metadata": {

717 "crossScalaVersions": ["2.12.20", "2.13.15", "3.3.4"]

718}

719}]

720************************

721[success] Total time: 71 s (0:01:11.0), completed Nov 28, 2025, 2:33:22 PM

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

723Checking patch project/build.properties...

724Checking patch build.sbt...

725Applied patch project/plugins.sbt cleanly.

726Applied patch project/build.properties cleanly.

727Applied patch build.sbt cleanly.