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

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

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

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

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"

60"++3.8.0 -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 """{"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 8.728s.

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

79OpenCB::Changing crossVersion 3.3.2 -> 3.8.0 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 on 1 projects.

82[info] Switching Scala version on:

83[info] * PaSDSL (3.8.0)

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 Jan 13, 2026, 3:55:18 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/classes ...

119[info] done compiling

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

123[info] done compiling

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

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

126[info] TestTermConversion:

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

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

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

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

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

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

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

134[info] PrologEngineSpec:

135[info] 'rainbow(orange)'

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

137[info] A prolog program with no solution

138[info] - should return a single NO answer

139[info] Member predicate

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

141[info] Member predicate

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

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

144[info] - should give a No solution

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

146[info] - should give a Yes solution

147[info] All solution

148[info] - should be returned by the engine

149[info] Solver's method 'admitsSolutions'

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

151[info] TestPrologDSL:

152[info] - Creation of a fact

153[info] - Creation of a rule

154[info] - Creation of a compound goal

155[info] - Creation of a disjunction of goals

156[info] - Creation of a directive

157[info] - Creation of a simple theory

158[info] - Creation of lists

159[info] - Construction equivalence

160[info] - List variables

161[info] - List with 'pipe' notation

163[info] - Alternative syntax for pipe notation

164[info] - Sequence of terms as a PrologList

165[info] TestRecursiveStructs:

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

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

168[info] - Goal conjunction arguments

169[info] - Compound goal linearized arguments

170[info] - Disjunction of goals linearized arguments

171[info] - PrologList creation

172[info] - Prolog list arguments

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

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

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

176[info] TestPrologEngine:

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

178[info] - Access to substitutions of Halt solutions

179[info] - Instance of a solution

180[info] TestDeclarativePrologDSL:

181[info] - Creation of an empty prolog program

182[info] - Creation of a simple static theory

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

184[info] - Asserts on dynamic theories

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

186[info] - Using programTheory as dynamic theory alias

187[info] TestRules:

188[info] A rule

189[info] - can have a single term body

190[info] The functor of a rule

191[info] - should be ':-'

192[info] The arity of a rule

193[info] - should be 2

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

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

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

197[info] TestStructs:

198[info] A struct

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

200[info] The arity of a Struct

201[info] - should equal the number of arguments

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

203[info] - should be the atom father

204[info] Non ground term variables

205[info] - should not be empty

206[info] Only terms with no variables

207[info] - should be ground

208[info] TestTheory:

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

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

211[info] TestConstants:

212[info] A constant

213[info] - can be a numeric value

214[info] - can be a sequence of characters

215[info] The value of a malformed atom

216[info] - should be quoted

217[info] When creating a atom quotes

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

219[info] TestStringTermVisitor:

220[info] - Test structs

221[info] - Test facts

222[info] - Test rules

223[info] - Test lists

224[info] - Test numeric

225[info] - Test prolog program

226[info] TestVariables:

227[info] _

228[info] - should be an anonymous variable

229[info] A variable name

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

231[info] - should not be ground

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/jacoco/instrumented-classes

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

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

248Build summary:

249[{

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

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

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

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

254 "test": {"status": "ok", "tookMs": 1256, "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: 21 s, completed Jan 13, 2026, 3:55:39 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.