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.1-RC1

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.1-RC1

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.1-RC1

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.1-RC1

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.1-RC1"

60"++3.8.1-RC1 -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.1-RC1 """{"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.79s.

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.1-RC1

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

82[info] Switching Scala version on:

83[info] * PaSDSL (3.8.1-RC1)

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, 8:44:23 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.1-RC1/classes ...

119[info] done compiling

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

123[info] done compiling

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

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

126[info] TestRules:

127[info] A rule

128[info] - can have a single term body

129[info] The functor of a rule

130[info] - should be ':-'

131[info] The arity of a rule

132[info] - should be 2

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

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

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

136[info] TestStringTermVisitor:

137[info] - Test structs

138[info] - Test facts

139[info] - Test rules

140[info] - Test lists

141[info] - Test numeric

142[info] - Test prolog program

143[info] TestTheory:

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

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

146[info] TestRecursiveStructs:

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

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

149[info] - Goal conjunction arguments

150[info] - Compound goal linearized arguments

151[info] - Disjunction of goals linearized arguments

152[info] - PrologList creation

153[info] - Prolog list arguments

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

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

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

157[info] TestPrologDSL:

158[info] - Creation of a fact

159[info] - Creation of a rule

160[info] - Creation of a compound goal

161[info] - Creation of a disjunction of goals

162[info] - Creation of a directive

163[info] - Creation of a simple theory

164[info] - Creation of lists

165[info] - Construction equivalence

166[info] - List variables

167[info] - List with 'pipe' notation

169[info] - Alternative syntax for pipe notation

170[info] - Sequence of terms as a PrologList

171[info] TestTermConversion:

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

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

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

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

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

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

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

179[info] PrologEngineSpec:

180[info] 'rainbow(orange)'

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

182[info] A prolog program with no solution

183[info] - should return a single NO answer

184[info] Member predicate

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

186[info] Member predicate

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

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

189[info] - should give a No solution

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

191[info] - should give a Yes solution

192[info] All solution

193[info] - should be returned by the engine

194[info] Solver's method 'admitsSolutions'

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

196[info] TestConstants:

197[info] A constant

198[info] - can be a numeric value

199[info] - can be a sequence of characters

200[info] The value of a malformed atom

201[info] - should be quoted

202[info] When creating a atom quotes

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

204[info] TestDeclarativePrologDSL:

205[info] - Creation of an empty prolog program

206[info] - Creation of a simple static theory

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

208[info] - Asserts on dynamic theories

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

210[info] - Using programTheory as dynamic theory alias

211[info] TestVariables:

212[info] _

213[info] - should be an anonymous variable

214[info] A variable name

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

216[info] - should not be ground

217[info] TestPrologEngine:

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

219[info] - Access to substitutions of Halt solutions

220[info] - Instance of a solution

221[info] TestStructs:

222[info] A struct

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

224[info] The arity of a Struct

225[info] - should equal the number of arguments

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

227[info] - should be the atom father

228[info] Non ground term variables

229[info] - should not be empty

230[info] Only terms with no variables

231[info] - should 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.1-RC1/jacoco/instrumented-classes

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

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

248Build summary:

249[{

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

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

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

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

254 "test": {"status": "ok", "tookMs": 1084, "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: 19 s, completed Jan 13, 2026, 8:44:42 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.