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

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

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

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

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

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

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

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

82[info] Switching Scala version on:

83[info] * PaSDSL (3.8.0-RC6)

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 8, 2026, 2:48:09 AM

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-RC6/classes ...

119[info] done compiling

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

123[info] done compiling

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

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

126[info] TestTheory:

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

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

129[info] TestRules:

130[info] A rule

131[info] - can have a single term body

132[info] The functor of a rule

133[info] - should be ':-'

134[info] The arity of a rule

135[info] - should be 2

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

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

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

139[info] TestTermConversion:

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

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

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

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

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

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

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

147[info] TestDeclarativePrologDSL:

148[info] - Creation of an empty prolog program

149[info] - Creation of a simple static theory

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

151[info] - Asserts on dynamic theories

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

153[info] - Using programTheory as dynamic theory alias

154[info] TestVariables:

155[info] _

156[info] - should be an anonymous variable

157[info] A variable name

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

159[info] - should not be ground

160[info] TestStringTermVisitor:

161[info] - Test structs

162[info] - Test facts

163[info] - Test rules

164[info] - Test lists

165[info] - Test numeric

166[info] - Test prolog program

167[info] TestPrologDSL:

168[info] - Creation of a fact

169[info] - Creation of a rule

170[info] - Creation of a compound goal

171[info] - Creation of a disjunction of goals

172[info] - Creation of a directive

173[info] - Creation of a simple theory

174[info] - Creation of lists

175[info] - Construction equivalence

176[info] - List variables

177[info] - List with 'pipe' notation

179[info] - Alternative syntax for pipe notation

180[info] - Sequence of terms as a PrologList

181[info] TestStructs:

182[info] A struct

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

184[info] The arity of a Struct

185[info] - should equal the number of arguments

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

187[info] - should be the atom father

188[info] Non ground term variables

189[info] - should not be empty

190[info] Only terms with no variables

191[info] - should be ground

192[info] TestPrologEngine:

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

194[info] - Access to substitutions of Halt solutions

195[info] - Instance of a solution

196[info] PrologEngineSpec:

197[info] 'rainbow(orange)'

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

199[info] A prolog program with no solution

200[info] - should return a single NO answer

201[info] Member predicate

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

203[info] Member predicate

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

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

206[info] - should give a No solution

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

208[info] - should give a Yes solution

209[info] All solution

210[info] - should be returned by the engine

211[info] Solver's method 'admitsSolutions'

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

213[info] TestRecursiveStructs:

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

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

216[info] - Goal conjunction arguments

217[info] - Compound goal linearized arguments

218[info] - Disjunction of goals linearized arguments

219[info] - PrologList creation

220[info] - Prolog list arguments

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

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

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

224[info] TestConstants:

225[info] A constant

226[info] - can be a numeric value

227[info] - can be a sequence of characters

228[info] The value of a malformed atom

229[info] - should be quoted

230[info] When creating a atom quotes

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

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

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

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

248Build summary:

249[{

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

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

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

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

254 "test": {"status": "ok", "tookMs": 1216, "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: 46 s, completed Jan 8, 2026, 2:48:55 AM

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.