Build Logs

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

2Clonning https://github.com/kelvindev15/pps-22-prolog-as-scaladsl.git into /build/repo using revision 4.2.3

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

4Note: switching to '535b2b8aa54f6d2e52be9c1777c0969cd54badac'.

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

21----

22Preparing build for 3.8.0-RC2

23Scala binary version found: 3.8

24Implicitly using source version 3.8

25Scala binary version found: 3.8

26Implicitly using source version 3.8

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

28Append: ,REQUIRE:-source:3.8

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

30----

31Starting build for 3.8.0-RC2

32Execute tests: true

33sbt project found:

34Sbt version 1.9.8 is not supported, minimal supported version is 1.11.5

35Enforcing usage of sbt in version 1.11.5

36No prepare script found for project kelvindev15/pps-22-prolog-as-scaladsl

37##################################

38Scala version: 3.8.0-RC2

39Targets: io.github.kelvindev15%prolog-as-scaladsl

40Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}

41##################################

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

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

44[sbt_options] declare -a sbt_options=()

45[process_args] java_version = '17'

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

47# Executing command line:

48java

49-Dfile.encoding=UTF-8

50-Dcommunitybuild.scala=3.8.0-RC2

51-Dcommunitybuild.project.dependencies.add=

52-Xmx7G

53-Xms4G

54-Xss8M

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

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

57-jar

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

59"setCrossScalaVersions 3.8.0-RC2"

60"++3.8.0-RC2 -v"

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

62"set every credentials := Nil"

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

64"removeScalacOptionsStartingWith -P:wartremover"

66moduleMappings

67"runBuild 3.8.0-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}""" io.github.kelvindev15%prolog-as-scaladsl"

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

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

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

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

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

74[info] Compilation completed in 9.412s.

75[info] done compiling

76[info] loading settings for project PaSDSL from build.sbt...

77[info] set current project to Prolog-as-ScalaDSL (in build file:/build/repo/)

78Execute setCrossScalaVersions: 3.8.0-RC2

79OpenCB::Changing crossVersion 3.3.2 -> 3.8.0-RC2 in PaSDSL/crossScalaVersions

80[info] set current project to Prolog-as-ScalaDSL (in build file:/build/repo/)

81[info] Setting Scala version to 3.8.0-RC2 on 1 projects.

82[info] Switching Scala version on:

83[info] * PaSDSL (3.8.0-RC2)

84[info] Excluding projects:

85[info] Reapplying settings...

86[info] set current project to Prolog-as-ScalaDSL (in build file:/build/repo/)

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

88[info] Reapplying settings...

89[info] set current project to Prolog-as-ScalaDSL (in build file:/build/repo/)

90[info] Defining Global / credentials, credentials

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

92[info] Run `last` for details.

93[info] Reapplying settings...

94[info] set current project to Prolog-as-ScalaDSL (in build file:/build/repo/)

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

96[info] Reapplying settings...

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

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

100 Did you mean allExcludeDependencies ?

101 , retry without global scopes

102[info] Reapplying settings...

103[info] set current project to Prolog-as-ScalaDSL (in build file:/build/repo/)

104Execute removeScalacOptionsStartingWith: -P:wartremover

105[info] Reapplying settings...

106[info] set current project to Prolog-as-ScalaDSL (in build file:/build/repo/)

107[success] Total time: 0 s, completed Nov 28, 2025, 2:52:51 PM

108Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}

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

110Starting build...

111Projects: Set(PaSDSL)

112Starting build for ProjectRef(file:/build/repo/,PaSDSL) (prolog-as-scaladsl)... [0/1]

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

114Compile scalacOptions: -Wconf:msg=can be rewritten automatically under:s, -source:3.8

115[info] compiling 28 Scala sources to /build/repo/target/scala-3.8.0-RC2/classes ...

119[info] done compiling

120[info] compiling 13 Scala sources to /build/repo/target/scala-3.8.0-RC2/test-classes ...

123[info] done compiling

124[info] Instrumenting 127 classes to /build/repo/target/scala-3.8.0-RC2/jacoco/instrumented-classes

125[info] Instrumenting 127 classes to /build/repo/target/scala-3.8.0-RC2/jacoco/instrumented-classes

126[info] TestConstants:

127[info] A constant

128[info] - can be a numeric value

129[info] - can be a sequence of characters

130[info] The value of a malformed atom

131[info] - should be quoted

132[info] When creating a atom quotes

133[info] - should not be considered when determining if it is well formed

134[info] TestVariables:

135[info] _

136[info] - should be an anonymous variable

137[info] A variable name

138[info] - should be an alphanumerical string beginning with an with an uppercase letter

139[info] - should not be ground

140[info] TestPrologDSL:

141[info] - Creation of a fact

142[info] - Creation of a rule

143[info] - Creation of a compound goal

144[info] - Creation of a disjunction of goals

145[info] - Creation of a directive

146[info] - Creation of a simple theory

147[info] - Creation of lists

148[info] - Construction equivalence

149[info] - List variables

150[info] - List with 'pipe' notation

152[info] - Alternative syntax for pipe notation

153[info] - Sequence of terms as a PrologList

154[info] TestTheory:

155[info] - Adding a rule to a prolog program

156[info] - Removing a rule from a prolog program

157[info] TestStringTermVisitor:

158[info] - Test structs

159[info] - Test facts

160[info] - Test rules

161[info] - Test lists

162[info] - Test numeric

163[info] - Test prolog program

164[info] TestRecursiveStructs:

165[info] - Cannot create a conjunction of goals from no terms

166[info] - A conjunction of goal is a recursive predicate with arity 2 and with ',' as a functor

167[info] - Goal conjunction arguments

168[info] - Compound goal linearized arguments

169[info] - Disjunction of goals linearized arguments

170[info] - PrologList creation

171[info] - Prolog list arguments

172[info] - Creation of a prolog list with Cons and Nil

173[info] - A list can end also with a variable

174[info] - A list not ending with a variable

175[info] PrologEngineSpec:

176[info] 'rainbow(orange)'

177[info] - should be a Yes solution of the rainbow program

178[info] A prolog program with no solution

179[info] - should return a single NO answer

180[info] Member predicate

181[info] - should give a Yes solution if the term is in the list

182[info] Member predicate

183[info] - should give a No solution if the term is not in the list

184[info] The goal '2 is 1 + 3'

185[info] - should give a No solution

186[info] The goal 'X = 2, Y = 3, 5 is X + Y'

187[info] - should give a Yes solution

188[info] All solution

189[info] - should be returned by the engine

190[info] Solver's method 'admitsSolutions'

191[info] - should return false on a program with no solutions, and yes on a program with at least one solution

192[info] TestStructs:

193[info] A struct

194[info] - should be comprised of a functor and a sequence of one ore more arguments

195[info] The arity of a Struct

196[info] - should equal the number of arguments

197[info] The functor of the struct equivalent to father(X, X)

198[info] - should be the atom father

199[info] Non ground term variables

200[info] - should not be empty

201[info] Only terms with no variables

202[info] - should be ground

203[info] TestDeclarativePrologDSL:

204[info] - Creation of an empty prolog program

205[info] - Creation of a simple static theory

206[info] - Defining multiple times a theory overrides the theory

207[info] - Asserts on dynamic theories

208[info] - Setting the goal of a prolog program

209[info] - Using programTheory as dynamic theory alias

210[info] TestPrologEngine:

211[info] - Access to substitutions of Yes/No solutions

212[info] - Access to substitutions of Halt solutions

213[info] - Instance of a solution

214[info] TestTermConversion:

215[info] - A rule is a binary struct with :- as a functor

216[info] - A fact is a binary struct with :- as a functor

217[info] - A directive is a unary struct with :- as a functor

218[info] - A conjunction of goals is a binary recursive struct with , as a functor

219[info] - A disjunction of goals is a binary recursive struct with , as a function

220[info] - The functor of an empty list is []

221[info] - A prolog list is binary recursive struct with . as a functor

222[info] TestRules:

223[info] A rule

224[info] - can have a single term body

225[info] The functor of a rule

226[info] - should be ':-'

227[info] The arity of a rule

228[info] - should be 2

229[info] The rule grandfather(X, Y) :- father(X, Z), father(Z, Y)

230[info] - should have 2 terms in the linearized version

231[info] - should have a grandfather(X, Y) as a head

232[info] TestBuiltins:

233[info] - Test var(X)

234[info] - Test atom(X)

235[info] - Test atomic(X)

236[info] - Test clause(X, Y)

237[info] - Test functor(T, F, N)

238[info] - Test arg(N, T, A)

239[info] - Test univ (=..)

240[info] - atom_chars(A, L)

241[info] - number_chars(A, L)

242[info] - Test term equality (==)

243[info] - Test operators

244[info] Instrumenting 127 classes to /build/repo/target/scala-3.8.0-RC2/jacoco/instrumented-classes

245[info] Instrumenting 127 classes to /build/repo/target/scala-3.8.0-RC2/jacoco/instrumented-classes

247************************

248Build summary:

249[{

250 "module": "prolog-as-scaladsl",

251 "compile": {"status": "ok", "tookMs": 11654, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

254 "test": {"status": "ok", "tookMs": 1155, "passed": 83, "failed": 0, "ignored": 0, "skipped": 0, "total": 83, "byFramework": [{"framework": "unknown", "stats": {"passed": 83, "failed": 0, "ignored": 0, "skipped": 0, "total": 83}}]},

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

256 "metadata": {

257 "crossScalaVersions": ["3.3.2"]

258}

259}]

260************************

261[success] Total time: 50 s, completed Nov 28, 2025, 2:53:41 PM

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

263Checking patch project/build.properties...

264Checking patch build.sbt...

265Applied patch project/plugins.sbt cleanly.

266Applied patch project/build.properties cleanly.

267Applied patch build.sbt cleanly.