Started by GitHub push by peterwvj Running as SYSTEM Building on master in workspace /var/lib/jenkins/workspace/overture-pvj-main No credentials specified > /usr/bin/git rev-parse --is-inside-work-tree # timeout=10 Fetching changes from the remote Git repository > /usr/bin/git config remote.origin.url https://github.com/overturetool/overture.git # timeout=10 Fetching upstream changes from https://github.com/overturetool/overture.git > /usr/bin/git --version # timeout=10 > /usr/bin/git fetch --tags --progress https://github.com/overturetool/overture.git +refs/heads/pvj/main:refs/remotes/origin/pvj/main > /usr/bin/git rev-parse refs/remotes/origin/pvj/main^{commit} # timeout=10 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/pvj/main^{commit} # timeout=10 Checking out Revision c354db831f18c5e7368563bba4e85866232b541f (refs/remotes/origin/pvj/main) > /usr/bin/git config core.sparsecheckout # timeout=10 > /usr/bin/git checkout -f c354db831f18c5e7368563bba4e85866232b541f Commit message: "Fix min_/max_ functions, fixes #706" > /usr/bin/git rev-list --no-walk c7e4846549273a917707ed8f50ac4969c2fb49c2 # timeout=10 [overture-pvj-main] $ mvn -f pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-pvj-main/.repository clean -Dtycho.mode=maven Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0 [INFO] Scanning for projects... [WARNING] The project org.overturetool:root:pom:2.7.3-SNAPSHOT uses prerequisites which is only intended for maven-plugin projects but not for non maven-plugin projects. For such purposes you should use the maven-enforcer-plugin. See https://maven.apache.org/enforcer/enforcer-rules/requireMavenVersion.html [INFO] ------------------------------------------------------------------------ [INFO] Reactor Build Order: [INFO] [INFO] The Overture Tool Platform root [pom] [INFO] Overture External Resources [jar] [INFO] Core Tools [pom] [INFO] The Overture Abstract Syntax Tree [jar] [INFO] Test Framework for Overture [jar] [INFO] The VDM parser [jar] [INFO] The VDM Type Checker [jar] [INFO] Overture Testing [pom] [INFO] Overture Testing Framework [jar] [INFO] Overture Sample Tests [jar] [INFO] VDM Pretty Printing [pom] [INFO] The VDM Pretty Printer [jar] [INFO] The Proof Obligation Generator [jar] [INFO] The VDM Interpreter [jar] [INFO] Combinatorial Testing [pom] [INFO] Combinatorial Testing Utilities [jar] [INFO] Combinatorial Testing Runtime [jar] [INFO] New Pretty Printer [jar] [INFO] Overture Core Command Line Tool [jar] [INFO] Code Generation [pom] [INFO] The Intermediate Representation Tree [jar] [INFO] The Code Generation Platform [jar] [INFO] The Java Code Generator Runtime [jar] [INFO] The Java Code Generator Testing [jar] [INFO] The Java Code Generator [jar] [INFO] The VDM to JML Generator Runtime [jar] [INFO] The VDM to JML Generator [jar] [INFO] The Java Code Generator Maven Plugin [maven-plugin] [INFO] The VDM to Isabelle Translator [jar] [INFO] POG - Isagen Integration [jar] [INFO] VDM Annotations [pom] [INFO] Provided Annotations [jar] [INFO] Annotation Examples [jar] [INFO] Documentation [pom] [INFO] The Overture release notes [jar] [INFO] [INFO] -----------------------< org.overturetool:root >------------------------ [INFO] Building The Overture Tool Platform root 2.7.3-SNAPSHOT [1/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ root --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/target [INFO] [INFO] ---------------------< org.overturetool:externals >--------------------- [INFO] Building Overture External Resources 2.7.3-SNAPSHOT [2/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ externals --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/externals/target [INFO] [INFO] -----------------------< org.overturetool:core >------------------------ [INFO] Building Core Tools 2.7.3-SNAPSHOT [3/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ core --- [INFO] [INFO] ---------------------< org.overturetool.core:ast >---------------------- [INFO] Building The Overture Abstract Syntax Tree 2.7.3-SNAPSHOT [4/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ast --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target [INFO] [INFO] ----------------< org.overturetool.core:testframework >----------------- [INFO] Building Test Framework for Overture 2.7.3-SNAPSHOT [5/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testframework --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target [INFO] [INFO] --------------------< org.overturetool.core:parser >-------------------- [INFO] Building The VDM parser 2.7.3-SNAPSHOT [6/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ parser --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target [INFO] [INFO] -----------------< org.overturetool.core:typechecker >------------------ [INFO] Building The VDM Type Checker 2.7.3-SNAPSHOT [7/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ typechecker --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target [INFO] [INFO] -------------------< org.overturetool.core:testing >-------------------- [INFO] Building Overture Testing 2.7.3-SNAPSHOT [8/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testing --- [INFO] [INFO] --------------< org.overturetool.core.testing:framework >--------------- [INFO] Building Overture Testing Framework 2.7.3-SNAPSHOT [9/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ framework --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target [INFO] [INFO] ---------------< org.overturetool.core.testing:samples >---------------- [INFO] Building Overture Sample Tests 2.7.3-SNAPSHOT [10/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ samples --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target [INFO] [INFO] ----------------< org.overturetool.core:prettyprinting >---------------- [INFO] Building VDM Pretty Printing 2.7.3-SNAPSHOT [11/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinting --- [INFO] [INFO] ---------< org.overturetool.core.prettyprinting:prettyprinter >--------- [INFO] Building The VDM Pretty Printer 2.7.3-SNAPSHOT [12/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinter --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target [INFO] [INFO] ---------------------< org.overturetool.core:pog >---------------------- [INFO] Building The Proof Obligation Generator 2.7.3-SNAPSHOT [13/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ pog --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target [INFO] [INFO] -----------------< org.overturetool.core:interpreter >------------------ [INFO] Building The VDM Interpreter 2.7.3-SNAPSHOT [14/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ interpreter --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target [INFO] [INFO] -------------< org.overturetool.core:combinatorialtesting >------------- [INFO] Building Combinatorial Testing 2.7.3-SNAPSHOT [15/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ combinatorialtesting --- [INFO] [INFO] ---------< org.overturetool.core.combinatorialtesting:ctutils >--------- [INFO] Building Combinatorial Testing Utilities 2.7.3-SNAPSHOT [16/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctutils --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target [INFO] [INFO] --------< org.overturetool.core.combinatorialtesting:ctruntime >-------- [INFO] Building Combinatorial Testing Runtime 2.7.3-SNAPSHOT [17/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctruntime --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target [INFO] [INFO] ---------------------< org.overturetool.core:npp >---------------------- [INFO] Building New Pretty Printer 2.7.3-SNAPSHOT [18/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ npp --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target [INFO] [INFO] ---------------< org.overturetool.core:commandlinetool >---------------- [INFO] Building Overture Core Command Line Tool 2.7.3-SNAPSHOT [19/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ commandlinetool --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target [INFO] [INFO] -------------------< org.overturetool.core:codegen >-------------------- [INFO] Building Code Generation 2.7.3-SNAPSHOT [20/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen --- [INFO] [INFO] ------------------< org.overturetool.core.codegen:ir >------------------ [INFO] Building The Intermediate Representation Tree 2.7.3-SNAPSHOT [21/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ir --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target [INFO] [INFO] ---------------< org.overturetool.core.codegen:platform >--------------- [INFO] Building The Code Generation Platform 2.7.3-SNAPSHOT [22/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ platform --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target [INFO] [INFO] -----------< org.overturetool.core.codegen:codegen-runtime >------------ [INFO] Building The Java Code Generator Runtime 2.7.3-SNAPSHOT [23/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-runtime --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target [INFO] [INFO] -------------< org.overturetool.core.codegen:javagen-test >------------- [INFO] Building The Java Code Generator Testing 2.7.3-SNAPSHOT [24/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen-test --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target [INFO] [INFO] ---------------< org.overturetool.core.codegen:javagen >---------------- [INFO] Building The Java Code Generator 2.7.3-SNAPSHOT [25/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target [INFO] [INFO] -----------< org.overturetool.core.codegen:vdm2jml-runtime >------------ [INFO] Building The VDM to JML Generator Runtime 2.7.3-SNAPSHOT [26/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml-runtime --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target [INFO] [INFO] ---------------< org.overturetool.core.codegen:vdm2jml >---------------- [INFO] Building The VDM to JML Generator 2.7.3-SNAPSHOT [27/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target [INFO] [INFO] ------------< org.overturetool.core.codegen:codegen-plugin >------------ [INFO] Building The Java Code Generator Maven Plugin 2.7.3-SNAPSHOT [28/35] [INFO] ----------------------------[ maven-plugin ]---------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-plugin --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target [INFO] [INFO] ----------------< org.overturetool.core.codegen:isagen >---------------- [INFO] Building The VDM to Isabelle Translator 2.7.3-SNAPSHOT [29/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isagen --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target [INFO] [INFO] --------------------< org.overturetool.core:isapog >-------------------- [INFO] Building POG - Isagen Integration 2.7.3-SNAPSHOT [30/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isapog --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target [INFO] [INFO] -----------------< org.overturetool.core:annotations >------------------ [INFO] Building VDM Annotations 2.7.3-SNAPSHOT [31/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ annotations --- [INFO] [INFO] -------------< org.overturetool.core.annotations:provided >------------- [INFO] Building Provided Annotations 2.7.3-SNAPSHOT [32/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ provided --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target [INFO] [INFO] -------------< org.overturetool.core.annotations:examples >------------- [INFO] Building Annotation Examples 2.7.3-SNAPSHOT [33/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ examples --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target [INFO] [INFO] -------------------< org.overturetool:documentation >------------------- [INFO] Building Documentation 2.7.3-SNAPSHOT [34/35] [INFO] --------------------------------[ pom ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ documentation --- [INFO] [INFO] ------------< org.overturetool.documentation:releasenotes >------------- [INFO] Building The Overture release notes 2.7.3-SNAPSHOT [35/35] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ releasenotes --- [INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary for The Overture Tool Platform root 2.7.3-SNAPSHOT: [INFO] [INFO] The Overture Tool Platform root .................... SUCCESS [ 0.939 s] [INFO] Overture External Resources ........................ SUCCESS [ 0.025 s] [INFO] Core Tools ......................................... SUCCESS [ 0.122 s] [INFO] The Overture Abstract Syntax Tree .................. SUCCESS [ 0.139 s] [INFO] Test Framework for Overture ........................ SUCCESS [ 0.012 s] [INFO] The VDM parser ..................................... SUCCESS [ 0.072 s] [INFO] The VDM Type Checker ............................... SUCCESS [ 0.504 s] [INFO] Overture Testing ................................... SUCCESS [ 0.014 s] [INFO] Overture Testing Framework ......................... SUCCESS [ 0.020 s] [INFO] Overture Sample Tests .............................. SUCCESS [ 2.195 s] [INFO] VDM Pretty Printing ................................ SUCCESS [ 0.014 s] [INFO] The VDM Pretty Printer ............................. SUCCESS [ 0.048 s] [INFO] The Proof Obligation Generator ..................... SUCCESS [ 0.508 s] [INFO] The VDM Interpreter ................................ SUCCESS [ 1.435 s] [INFO] Combinatorial Testing .............................. SUCCESS [ 0.004 s] [INFO] Combinatorial Testing Utilities .................... SUCCESS [ 0.014 s] [INFO] Combinatorial Testing Runtime ...................... SUCCESS [ 0.123 s] [INFO] New Pretty Printer ................................. SUCCESS [ 0.034 s] [INFO] Overture Core Command Line Tool .................... SUCCESS [ 0.012 s] [INFO] Code Generation .................................... SUCCESS [ 0.002 s] [INFO] The Intermediate Representation Tree ............... SUCCESS [ 0.072 s] [INFO] The Code Generation Platform ....................... SUCCESS [ 0.205 s] [INFO] The Java Code Generator Runtime .................... SUCCESS [ 0.060 s] [INFO] The Java Code Generator Testing .................... SUCCESS [ 0.039 s] [INFO] The Java Code Generator ............................ SUCCESS [ 0.913 s] [INFO] The VDM to JML Generator Runtime ................... SUCCESS [ 0.014 s] [INFO] The VDM to JML Generator ........................... SUCCESS [ 2.454 s] [INFO] The Java Code Generator Maven Plugin ............... SUCCESS [ 0.196 s] [INFO] The VDM to Isabelle Translator ..................... SUCCESS [ 0.102 s] [INFO] POG - Isagen Integration ........................... SUCCESS [ 0.054 s] [INFO] VDM Annotations .................................... SUCCESS [ 0.003 s] [INFO] Provided Annotations ............................... SUCCESS [ 0.031 s] [INFO] Annotation Examples ................................ SUCCESS [ 0.013 s] [INFO] Documentation ...................................... SUCCESS [ 0.002 s] [INFO] The Overture release notes ......................... SUCCESS [ 0.006 s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 11.474 s [INFO] Finished at: 2019-10-17T12:04:30+02:00 [INFO] ------------------------------------------------------------------------ [Set GitHub commit status (universal)] PENDING on repos [GHRepository@6a9f404b[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=213752,milestones={},language=Java,commits={},source=,parent=,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Thu, 17 Oct 2019 10:04:30 GMT], ETag=[W/"9268fafd79658152d76c8fd360bafb25"], Last-Modified=[Thu, 17 Oct 2019 10:01:34 GMT], OkHttp-Received-Millis=[1571306670430], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1571306670183], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[9BE6:1096F:2332FDD:2AD4CA1:5DA83CAE], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4995], X-RateLimit-Reset=[1571310256], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:c354db8) with context:overture-pvj-main Setting commit status on GitHub for https://github.com/overturetool/overture/commit/c354db831f18c5e7368563bba4e85866232b541f Parsing POMs Modules changed, recalculating dependency graph Established TCP socket on 45357 [overture-pvj-main] $ java -Xmx1024m -XX:MaxPermSize=256M -Djava.awt.headless=true -cp /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-agent-1.13.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/boot/plexus-classworlds-2.5.1.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/conf/logging jenkins.maven3.agent.Maven31Main /var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1 /var/cache/jenkins/war/WEB-INF/lib/remoting-3.29.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-interceptor-1.13.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven3-interceptor-commons-1.13.jar 45357 Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0 <===[JENKINS REMOTING CAPACITY]===>channel started Executing Maven: -B -f /var/lib/jenkins/workspace/overture-pvj-main/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-pvj-main/.repository install -Dtests.javagen.javac -Dmaven.javadoc.skip=true -DexternalTestsPath=/var/lib/jenkins/internal-resources/externaltests/ [INFO] Scanning for projects... [INFO] Initializing Artifactory Build-Info Recording [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [INFO] ------------------------------------------------------------------------ [INFO] Reactor Build Order: [INFO] [INFO] The Overture Tool Platform root [INFO] Overture External Resources [INFO] Core Tools [INFO] The Overture Abstract Syntax Tree [INFO] Test Framework for Overture [INFO] The VDM parser [INFO] The VDM Type Checker [INFO] Overture Testing [INFO] Overture Testing Framework [INFO] Overture Sample Tests [INFO] VDM Pretty Printing [INFO] The VDM Pretty Printer [INFO] The Proof Obligation Generator [INFO] The VDM Interpreter [INFO] Combinatorial Testing [INFO] Combinatorial Testing Utilities [INFO] Combinatorial Testing Runtime [INFO] New Pretty Printer [INFO] Overture Core Command Line Tool [INFO] Code Generation [INFO] The Intermediate Representation Tree [INFO] The Code Generation Platform [INFO] The Java Code Generator Runtime [INFO] The Java Code Generator Testing [INFO] The Java Code Generator [INFO] The VDM to JML Generator Runtime [INFO] The VDM to JML Generator [INFO] The Java Code Generator Maven Plugin [INFO] The VDM to Isabelle Translator [INFO] POG - Isagen Integration [INFO] VDM Annotations [INFO] Provided Annotations [INFO] Annotation Examples [INFO] Documentation [INFO] The Overture release notes [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Overture Tool Platform root 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ root --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ root --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/root/2.7.3-SNAPSHOT/root-2.7.3-SNAPSHOT.pom [WARNING] Attempt to (de-)serialize anonymous class org.jfrog.hudson.maven2.MavenDependenciesRecorder$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/ Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 2 second [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Overture External Resources 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ externals --- [INFO] [INFO] --- maven-resources-plugin:2.7:copy-resources (copy-resources01) @ externals --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2 resources [INFO] Copying 1 resource [INFO] Copying 1 resource [INFO] Copying 1 resource [INFO] Copying 1 resource [INFO] Copying 1 resource [INFO] Copying 1 resource [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ externals --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/externals/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ externals --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/externals/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ externals --- [INFO] No sources to compile [INFO] [INFO] --- maven-antrun-plugin:1.8:run (update-docs) @ externals --- [INFO] Executing tasks main: [INFO] Executed tasks [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ externals --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/externals/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ externals --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ externals --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ externals --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/externals/target/externals-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ externals --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/externals/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ externals --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/externals/target/externals-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/externals/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Core Tools 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ core --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ core --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ core --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ core --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ core --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/2.7.3-SNAPSHOT/core-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Overture Abstract Syntax Tree 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ast --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ast --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- astcreator-plugin:1.6.10:generate (java) @ ast --- [INFO] Preparing for tree generation... [INFO] Checking if generation required. [INFO] Full AST generation needed [INFO] Generating... [INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/ast/src/main/resources/overtureII.astv2 Adding aspect fields: PExpBase.{type,location,comments} Adding aspect fields: SUnaryExpBase.{exp} Adding aspect fields: SBinaryExpBase.{left,op,right} Adding aspect fields: SSetExpBase.{setType} Adding aspect fields: PTypeBase.{location,resolved,definitions} Adding aspect fields: SSeqTypeBase.{seqof,empty} Adding aspect fields: SSetTypeBase.{setof,empty,infinite} Dublicate name: #Map Adding aspect fields: SMapTypeBase.{from,to,empty} Adding aspect fields: SInvariantTypeBase.{inNarrower,opaque,invDef,eqDef,ordDef} Adding aspect fields: PPatternBase.{location,definitions,resolved} Adding aspect fields: PPairBase.{resolved} Adding aspect fields: PBindBase.{location,pattern} Adding aspect fields: PMultipleBindBase.{location,plist} Adding aspect fields: PDefinitionBase.{location,name,nameScope,used,classDefinition,access,type,pass,comments,annotations} Adding aspect fields: SFunctionDefinitionBase.{typeParams,body,precondition,postcondition,measure,measureDef,measureName,predef,postdef,recursive,isUndefined,expectedResult,actualResult} Adding aspect fields: SOperationDefinitionBase.{body,precondition,postcondition,predef,postdef,state,actualResult,isConstructor} Adding aspect fields: PRelationBase.{location,lhsPattern,rhsPattern,relExp,relDef} Adding aspect fields: PTraceDefinitionBase.{location} Adding aspect fields: PTraceCoreDefinitionBase.{location} Adding aspect fields: SClassDefinitionBase.{supertypes,supernames,definitions,allInheritedDefinitions,localInheritedDefinitions,hasContructors,settingHierarchy,superDefs,gettingInheritable,superInheritedDefinitions,gettingInvDefs,isAbstract,isUndefined,classtype,typeChecked,invariant} Adding aspect fields: PImportBase.{location,name,renamed,from} Adding aspect fields: SValueImportBase.{importType} Adding aspect fields: PExportBase.{location,definition} Adding aspect fields: PStmBase.{location,type,comments} Adding aspect fields: SSimpleBlockStmBase.{statements} Adding aspect fields: PStateDesignatorBase.{location,type} Adding aspect fields: PObjectDesignatorBase.{location} Adding aspect fields: PAnnotationBase.{name,args,impl} Retry Create interfaces - with 2 not yet created interfaces. Done creating interfaces WARNING: Field "_type" in class AExplicitFunctionDefinition with type "AFunctionType" specializes "PType" WARNING: Field "_type" in class AImplicitFunctionDefinition with type "AFunctionType" specializes "PType" Generating toString add on... Generating enumerations... Generating analysis visitors... Analysis...Answer...Question...Question-Answer...Depth-First... Copying base classes to destination... Writing source files.: ........................................................................ ........................................................................ ........................................................................ ........................................................................ ........................................................................ ........................ File write completed in 10 secs [INFO] Generator completed with 470 generated files. [INFO] [INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ast --- [INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/generated-sources/astCreator added. [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ast --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ast --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 464 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ast --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/ast/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ast --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ast --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ast --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/ast-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ast --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ast --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ast --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/ast-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/ast/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Test Framework for Overture 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testframework --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testframework --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ testframework --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ testframework --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 16 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ testframework --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ testframework --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ testframework --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ testframework --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/testframework-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testframework --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testframework --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ testframework --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/testframework-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM parser 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ parser --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ parser --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ parser --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/parser/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ parser --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 32 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ parser --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 388 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ parser --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 17 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ parser --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.parser.tests.SpecificationSlTestSuite Tests run: 41, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.238 sec - in org.overture.parser.tests.SpecificationSlTestSuite Running org.overture.parser.tests.PatternTestSuite Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.PatternTestSuite Running org.overture.parser.tests.ExpressionTestSuite Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.ExpressionTestSuite Running org.overture.parser.tests.StatementTestSuite Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.StatementTestSuite Running org.overture.parser.tests.SpecificationRtTestSuite Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.291 sec - in org.overture.parser.tests.SpecificationRtTestSuite Running org.overture.parser.tests.SpecificationPpTestSuite Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.parser.tests.SpecificationPpTestSuite Running org.overture.parser.tests.TypeTestSuite Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.TypeTestSuite Running org.overture.parser.tests.DefinitionTestSuite Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec - in org.overture.parser.tests.DefinitionTestSuite Results : Tests run: 56, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ parser --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/parser-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ parser --- [INFO] Analyzed bundle 'The VDM parser' with 43 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ parser --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ parser --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/parser-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/parser/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM Type Checker 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ typechecker --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 134 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/classes [INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Some input files use unchecked or unsafe operations. [INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2043 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest Tests run: 74, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.446 sec - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.669 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest Tests run: 1216, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.536 sec - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest Running org.overture.typechecker.tests.ClassesRtTypeCheckTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.214 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest Running org.overture.typechecker.tests.ClassesPpTypeCheckTest Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.457 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest Running org.overture.typechecker.tests.ModulesSlTypeCheckTest Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.393 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest Results : Tests run: 1906, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ typechecker --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker --- [INFO] Analyzed bundle 'The VDM Type Checker' with 147 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Overture Testing 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testing --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testing --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testing/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testing --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/testing/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testing --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ testing --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testing/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testing/2.7.3-SNAPSHOT/testing-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Overture Testing Framework 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ framework --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ framework --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ framework --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ framework --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ framework --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ framework --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ framework --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ framework --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/framework-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ framework --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ framework --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ framework --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/framework-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Overture Sample Tests 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ samples --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ samples --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ samples --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ samples --- [INFO] No sources to compile [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ samples --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 3215 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ samples --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 3 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ samples --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.core.testing.samples.SampleStandardTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.914 sec - in org.overture.core.testing.samples.SampleStandardTest Running org.overture.core.testing.samples.SampleExternalsTest Tests run: 3211, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 18.098 sec - in org.overture.core.testing.samples.SampleExternalsTest Results : Tests run: 3213, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ samples --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/samples-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ samples --- [INFO] Analyzed bundle 'Overture Sample Tests' with 0 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ samples --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ samples --- [INFO] Skipping artifact installation Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building VDM Pretty Printing 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinting --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinting --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ prettyprinting --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinting --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ prettyprinting --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/prettyprinting/2.7.3-SNAPSHOT/prettyprinting-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM Pretty Printer 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinter --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinter --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ prettyprinter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ prettyprinter --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ prettyprinter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ prettyprinter --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ prettyprinter --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ prettyprinter --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ prettyprinter --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinter --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ prettyprinter --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Proof Obligation Generator 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ pog --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ pog --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- astcreator-plugin:1.6.10:generate (generate-ast) @ pog --- [INFO] Preparing for tree generation... [INFO] Configuring extension [INFO] Extension base dependency is: "org.overturetool.core:ast" [INFO] Searching for base dependency artifact [INFO] Extension base artifact found - exstracting base tree definition files [INFO] Setting base definition files to: [INFO] base: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2 [INFO] base tostring: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2.tostring [INFO] Extension base artifact configured. [INFO] Checking if generation required. [INFO] Full AST generation needed [INFO] Generating... [INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2 [INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/src/main/resources/pof.ast Generating base and extension tree, standby ... Extension tree only: true Adding aspect fields: PExpBase.{type,location,comments} Adding aspect fields: SUnaryExpBase.{exp} Adding aspect fields: SBinaryExpBase.{left,op,right} Adding aspect fields: SSetExpBase.{setType} Adding aspect fields: PTypeBase.{location,resolved,definitions} Adding aspect fields: SSeqTypeBase.{seqof,empty} Adding aspect fields: SSetTypeBase.{setof,empty,infinite} Dublicate name: #Map Adding aspect fields: SMapTypeBase.{from,to,empty} Adding aspect fields: SInvariantTypeBase.{inNarrower,opaque,invDef,eqDef,ordDef} Adding aspect fields: PPatternBase.{location,definitions,resolved} Adding aspect fields: PPairBase.{resolved} Adding aspect fields: PBindBase.{location,pattern} Adding aspect fields: PMultipleBindBase.{location,plist} Adding aspect fields: PDefinitionBase.{location,name,nameScope,used,classDefinition,access,type,pass,comments,annotations} Adding aspect fields: SFunctionDefinitionBase.{typeParams,body,precondition,postcondition,measure,measureDef,measureName,predef,postdef,recursive,isUndefined,expectedResult,actualResult} Adding aspect fields: SOperationDefinitionBase.{body,precondition,postcondition,predef,postdef,state,actualResult,isConstructor} Adding aspect fields: PRelationBase.{location,lhsPattern,rhsPattern,relExp,relDef} Adding aspect fields: PTraceDefinitionBase.{location} Adding aspect fields: PTraceCoreDefinitionBase.{location} Adding aspect fields: SClassDefinitionBase.{supertypes,supernames,definitions,allInheritedDefinitions,localInheritedDefinitions,hasContructors,settingHierarchy,superDefs,gettingInheritable,superInheritedDefinitions,gettingInvDefs,isAbstract,isUndefined,classtype,typeChecked,invariant} Adding aspect fields: PImportBase.{location,name,renamed,from} Adding aspect fields: SValueImportBase.{importType} Adding aspect fields: PExportBase.{location,definition} Adding aspect fields: PStmBase.{location,type,comments} Adding aspect fields: SSimpleBlockStmBase.{statements} Adding aspect fields: PStateDesignatorBase.{location,type} Adding aspect fields: PObjectDesignatorBase.{location} Adding aspect fields: PAnnotationBase.{name,args,impl} Done creating interfaces WARNING: Field "_type" in class AExplicitFunctionDefinition with type "AFunctionType" specializes "PType" WARNING: Field "_type" in class AImplicitFunctionDefinition with type "AFunctionType" specializes "PType" Generating toString add on... Done creating interfaces Generating toString add on... *********************************************** AST Creator Extensions *********************************************** Generating enumerations... Generating analysis visitors... Analysis...Answer...Question...Question-Answer...Depth-First... Writing sources to the file system, standby ... Destination: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/generated-sources/astCreator Copying base classes to destination... Writing source files.: ............ File write completed in 1 secs Created AST with extensions. [INFO] [INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ pog --- [INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/generated-sources/astCreator added. [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ pog --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ pog --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 105 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ pog --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 329 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ pog --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ pog --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.pog.tests.VariableSubTest Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.387 sec - in org.overture.pog.tests.VariableSubTest Running org.overture.pog.tests.newtests.PogBasicTest Tests run: 39, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.197 sec - in org.overture.pog.tests.newtests.PogBasicTest Running org.overture.pog.tests.newtests.PogBugRegressionTest Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.138 sec - in org.overture.pog.tests.newtests.PogBugRegressionTest Running org.overture.pog.tests.newtests.PogTypeIntegrityTest Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.091 sec - in org.overture.pog.tests.newtests.PogTypeIntegrityTest Running org.overture.pog.tests.newtests.VarDefIntegrityTest Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.032 sec - in org.overture.pog.tests.newtests.VarDefIntegrityTest Running org.overture.pog.tests.newtests.PogIntegrationTest Tests run: 50, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.145 sec - in org.overture.pog.tests.newtests.PogIntegrationTest Results : Tests run: 195, Failures: 0, Errors: 0, Skipped: 84 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ pog --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ pog --- [INFO] Analyzed bundle 'The Proof Obligation Generator' with 91 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ pog --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ pog --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pog/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM Interpreter 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ interpreter --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ interpreter --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ interpreter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ interpreter --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 287 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ interpreter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1998 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interpreter --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 21 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ interpreter --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.interpreter.tests.RepeatTraceNodeTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.342 sec - in org.overture.interpreter.tests.RepeatTraceNodeTest Running org.overture.interpreter.tests.RandomListTests Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.interpreter.tests.RandomListTests Running org.overture.interpreter.tests.newtests.ClassesPpClassicTest Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.537 sec - in org.overture.interpreter.tests.newtests.ClassesPpClassicTest Running org.overture.interpreter.tests.newtests.ClassesRtTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.259 sec - in org.overture.interpreter.tests.newtests.ClassesRtTest Running org.overture.interpreter.tests.newtests.BugRegressionTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.046 sec - in org.overture.interpreter.tests.newtests.BugRegressionTest Running org.overture.interpreter.tests.newtests.ExternalInterpreterTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overture.interpreter.tests.newtests.ExternalInterpreterTest Running org.overture.interpreter.tests.newtests.ModulesSlTest Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.077 sec - in org.overture.interpreter.tests.newtests.ModulesSlTest Running org.overture.interpreter.tests.newtests.ClassesRtClassicTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.791 sec - in org.overture.interpreter.tests.newtests.ClassesRtClassicTest Running org.overture.interpreter.tests.newtests.ClassesPpTest Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.interpreter.tests.newtests.ClassesPpTest Running org.overture.interpreter.tests.stdlibs.CsvParserTest Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.interpreter.tests.stdlibs.CsvParserTest Running org.overture.interpreter.tests.external.ExternalModulesSlTest Tests run: 437, Failures: 0, Errors: 0, Skipped: 30, Time elapsed: 5.967 sec - in org.overture.interpreter.tests.external.ExternalModulesSlTest Running org.overture.interpreter.tests.external.ExternalClassesRtTest Tests run: 75, Failures: 0, Errors: 0, Skipped: 17, Time elapsed: 3.642 sec - in org.overture.interpreter.tests.external.ExternalClassesRtTest Running org.overture.interpreter.tests.external.ExternalClassesPpTest Tests run: 397, Failures: 0, Errors: 0, Skipped: 135, Time elapsed: 1.954 sec - in org.overture.interpreter.tests.external.ExternalClassesPpTest Results : Tests run: 977, Failures: 0, Errors: 0, Skipped: 183 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ interpreter --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/interpreter-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ interpreter --- [INFO] Analyzed bundle 'The VDM Interpreter' with 327 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ interpreter --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ interpreter --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/interpreter-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Combinatorial Testing 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ combinatorialtesting --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ combinatorialtesting --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ combinatorialtesting --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ combinatorialtesting --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ combinatorialtesting --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/2.7.3-SNAPSHOT/combinatorialtesting-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Combinatorial Testing Utilities 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctutils --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctutils --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ctutils --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctutils --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctutils --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctutils --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctutils --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctutils --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/ctutils-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctutils --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctutils --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ctutils --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/ctutils-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Combinatorial Testing Runtime 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctruntime --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctruntime --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ctruntime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctruntime --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctruntime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 60 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctruntime --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctruntime --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.599 sec - in org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase Running org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.608 sec - in org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase Running org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.268 sec - in org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase Running org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.699 sec - in org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase Results : Tests run: 35, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctruntime --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/ctruntime-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctruntime --- [INFO] Analyzed bundle 'Combinatorial Testing Runtime' with 26 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctruntime --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ctruntime --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/ctruntime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building New Pretty Printer 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ npp --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ npp --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ npp --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ npp --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ npp --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ npp --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ npp --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.core.npp.ExpressionNppTest Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.441 sec - in org.overture.core.npp.ExpressionNppTest Running org.overture.core.npp.VdmSymbolTableTest Tests run: 67, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.036 sec - in org.overture.core.npp.VdmSymbolTableTest Running org.overture.core.npp.CommonStringManipsTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.core.npp.CommonStringManipsTest Running org.overture.core.npp.IndentTrackerTest Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in org.overture.core.npp.IndentTrackerTest Results : Tests run: 97, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ npp --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ npp --- [INFO] Analyzed bundle 'New Pretty Printer' with 5 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ npp --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ npp --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Overture Core Command Line Tool 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ commandlinetool --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ commandlinetool --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ commandlinetool --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2 resources to /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target [INFO] Copying 2 resources to /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/classes [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ commandlinetool --- [INFO] No sources to compile [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ commandlinetool --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ commandlinetool --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ commandlinetool --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ commandlinetool --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ commandlinetool --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ commandlinetool --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-shade-plugin:2.4.3:shade (default) @ commandlinetool --- [INFO] Including org.overturetool.core:ast:jar:2.7.3-SNAPSHOT in the shaded jar. [INFO] Including org.overturetool.core:parser:jar:2.7.3-SNAPSHOT in the shaded jar. [INFO] Including org.overturetool.core:typechecker:jar:2.7.3-SNAPSHOT in the shaded jar. [INFO] Including org.overturetool.core:pog:jar:2.7.3-SNAPSHOT in the shaded jar. [INFO] Including com.google.code.gson:gson:jar:2.2.4 in the shaded jar. [INFO] Including org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.3-SNAPSHOT in the shaded jar. [INFO] Including commons-io:commons-io:jar:2.4 in the shaded jar. [INFO] Including org.apache.commons:commons-collections4:jar:4.0 in the shaded jar. [INFO] Including org.overturetool.core:testframework:jar:2.7.3-SNAPSHOT in the shaded jar. [INFO] Including org.overturetool.core:interpreter:jar:2.7.3-SNAPSHOT in the shaded jar. [INFO] Replacing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/Overture-2.7.3-SNAPSHOT.jar with /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-shaded.jar [INFO] [INFO] --- maven-antrun-plugin:1.8:run (set-executable-bit) @ commandlinetool --- [INFO] Executing tasks main: [INFO] Executed tasks [INFO] [INFO] --- maven-assembly-plugin:2.6:single (make-my-jar-with-dependencies) @ commandlinetool --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ commandlinetool --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Code Generation 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/2.7.3-SNAPSHOT/codegen-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Intermediate Representation Tree 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ir --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ir --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- astcreator-plugin:1.6.8:generate (java) @ ir --- [INFO] Preparing for tree generation... [INFO] Checking if generation required. [INFO] Full AST generation needed [INFO] Generating... [INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/src/main/resources/ir.ast Adding aspect fields: PIRBase.{sourceNode,tag,metaData} WARNING: Using SubProduction class found without using package name. SImportsIRBase WARNING: Using SubProduction class found without using package name. SImportIRBase Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName} Adding aspect fields: SValueImportBase.{importType} WARNING: Using SubProduction class found without using package name. SExportsIRBase WARNING: Using SubProduction class found without using package name. SExportIRBase Adding aspect fields: SExportIRBase.{decl} WARNING: Using SubProduction class found without using package name. SPatternIRBase WARNING: Using SubProduction class found without using package name. SBindIRBase Adding aspect fields: SBindIRBase.{pattern} WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase Adding aspect fields: SMultipleBindIRBase.{patterns} WARNING: Using SubProduction class found without using package name. SNameIRBase WARNING: Using SubProduction class found without using package name. SDeclIRBase Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs} WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase Adding aspect fields: SStateDesignatorIRBase.{type} WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase WARNING: Using SubProduction class found without using package name. SLocalParamIRBase WARNING: Using SubProduction class found without using package name. SStmIRBase Adding aspect fields: SCallStmBase.{type,isStatic,name,args} WARNING: Using SubProduction class found without using package name. SLetBeStIRBase WARNING: Using SubProduction class found without using package name. SExpIRBase Adding aspect fields: SExpIRBase.{type} WARNING: Using SubProduction class found without using package name. SModifierIRBase Adding aspect fields: SIsExpBase.{exp} Adding aspect fields: SVarExpBase.{isLambda,isLocal,name} Adding aspect fields: SQuantifierExpBase.{bindList,predicate} Adding aspect fields: SBinaryExpBase.{left,right} Adding aspect fields: SUnaryExpBase.{exp} WARNING: Using SubProduction class found without using package name. STypeIRBase Adding aspect fields: STypeIRBase.{optional,namedInvType} Adding aspect fields: SSetTypeBase.{empty,setOf} Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf} Adding aspect fields: SMapTypeBase.{empty,injective,from,to} WARNING: Using SubProduction class found without using package name. STermIRBase WARNING: Using SubProduction class found without using package name. STraceDeclIRBase WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase Retry Create interfaces - with 15 not yet created interfaces. Retry Create interfaces - with 1 not yet created interfaces. Done creating interfaces Generating toString add on... Generating enumerations... Generating analysis visitors... Analysis...Answer...Question...Question-Answer...Depth-First... Copying base classes to destination... Writing source files.: ........................................................................ ........................................................................ ........................................................................ ........................................................................ ........................................................................ .......................... File write completed in 9 secs [INFO] Generator completed with 456 generated files. [INFO] [INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ir --- [INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/generated-sources/astCreator added. [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ir --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ir --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 397 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ir --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ir --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ir --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ir --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ir --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ir --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ir --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Code Generation Platform 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ platform --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ platform --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ platform --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ platform --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 169 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/classes [INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java uses unchecked or unsafe operations. [INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ platform --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 12 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ platform --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.codegen.tests.LocalVarTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.578 sec - in org.overture.codegen.tests.LocalVarTest Running org.overture.codegen.tests.util.DeclAssistantTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec - in org.overture.codegen.tests.util.DeclAssistantTest Running org.overture.codegen.tests.TemplateManagerTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.902 sec - in org.overture.codegen.tests.TemplateManagerTest Results : Tests run: 17, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ platform --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ platform --- [INFO] Analyzed bundle 'The Code Generation Platform' with 158 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ platform --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ platform --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Java Code Generator Runtime 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-runtime --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-runtime --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ codegen-runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ codegen-runtime --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 53 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ codegen-runtime --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-runtime --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running MapTest Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.269 sec - in MapTest Running PermuteArrayTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec - in PermuteArrayTest Running PermutorTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in PermutorTest Running VDMUtilTest Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.041 sec - in VDMUtilTest Running IsTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in IsTest Running TupleTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in TupleTest Running IOTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.041 sec - in IOTest Results : Tests run: 42, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-runtime --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-runtime --- [INFO] Analyzed bundle 'The Java Code Generator Runtime' with 50 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-runtime --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ codegen-runtime --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-sources.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-runtime --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT-sources.jar Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Java Code Generator Testing 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen-test --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen-test --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen-test --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen-test --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen-test --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen-test --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen-test --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen-test --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen-test --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen-test --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen-test --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 1 second Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Java Code Generator 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 184 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 34 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2082 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 51 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.codegen.tests.other.IRTest Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.8 sec - in org.overture.codegen.tests.other.IRTest Running org.overture.codegen.tests.other.ClassesToSkipParsingTest Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec - in org.overture.codegen.tests.other.ClassesToSkipParsingTest Running org.overture.codegen.tests.other.UtilsTest Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec - in org.overture.codegen.tests.other.UtilsTest Running org.overture.codegen.tests.other.VarShadowingTest Tests run: 37, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.267 sec - in org.overture.codegen.tests.other.VarShadowingTest Running org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.366 sec - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest Running org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 39.282 sec - in org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest Running org.overture.codegen.tests.exec.ComplexExpJavaGenTest Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 245.767 sec - in org.overture.codegen.tests.exec.ComplexExpJavaGenTest Running org.overture.codegen.tests.exec.ClassicJavaGenTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.657 sec - in org.overture.codegen.tests.exec.ClassicJavaGenTest Running org.overture.codegen.tests.exec.SpecificationJavaGenTest Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 76.872 sec - in org.overture.codegen.tests.exec.SpecificationJavaGenTest Running org.overture.codegen.tests.exec.PackageJavaGenTest Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.59 sec - in org.overture.codegen.tests.exec.PackageJavaGenTest Running org.overture.codegen.tests.exec.PatternJavaGenTest Tests run: 68, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 79.005 sec - in org.overture.codegen.tests.exec.PatternJavaGenTest Running org.overture.codegen.tests.exec.BindJavaGenTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.656 sec - in org.overture.codegen.tests.exec.BindJavaGenTest Running org.overture.codegen.tests.exec.PrePostJavaGenTest Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.346 sec - in org.overture.codegen.tests.exec.PrePostJavaGenTest Running org.overture.codegen.tests.exec.ExpJavaGenTest Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 160.263 sec - in org.overture.codegen.tests.exec.ExpJavaGenTest Running org.overture.codegen.tests.exec.UnionTypeJavaGenTest Tests run: 51, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 117.592 sec - in org.overture.codegen.tests.exec.UnionTypeJavaGenTest Running org.overture.codegen.tests.exec.TracesVerdictJavaGenTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 12.543 sec - in org.overture.codegen.tests.exec.TracesVerdictJavaGenTest Running org.overture.codegen.tests.exec.ConcurrencyJavaGenTest Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 38.851 sec - in org.overture.codegen.tests.exec.ConcurrencyJavaGenTest Running org.overture.codegen.tests.exec.TracesStateJavaGenTest Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 33.799 sec - in org.overture.codegen.tests.exec.TracesStateJavaGenTest Running org.overture.codegen.tests.exec.IsExpJavaGenTest Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 24.03 sec - in org.overture.codegen.tests.exec.IsExpJavaGenTest Running org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 9.674 sec - in org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest Running org.overture.codegen.tests.exec.RtJavaGenTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.947 sec - in org.overture.codegen.tests.exec.RtJavaGenTest Running org.overture.codegen.tests.exec.TracesExpansionJavaGenTest Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 39.932 sec - in org.overture.codegen.tests.exec.TracesExpansionJavaGenTest Running org.overture.codegen.tests.exec.SlJavaGenTest Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 49.735 sec - in org.overture.codegen.tests.exec.SlJavaGenTest Running org.overture.codegen.tests.exec.TracesSlJavaGenTest Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.722 sec - in org.overture.codegen.tests.exec.TracesSlJavaGenTest Running org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.574 sec - in org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest Running org.overture.codegen.tests.exec.FunctionValueJavaGenTest Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 20.553 sec - in org.overture.codegen.tests.exec.FunctionValueJavaGenTest Running org.overture.codegen.tests.output.IsExpOutputTest Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.657 sec - in org.overture.codegen.tests.output.IsExpOutputTest Running org.overture.codegen.tests.output.TracesStateOutputTest Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.302 sec - in org.overture.codegen.tests.output.TracesStateOutputTest Running org.overture.codegen.tests.output.BindOutputTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.425 sec - in org.overture.codegen.tests.output.BindOutputTest Running org.overture.codegen.tests.output.ClassicOutputTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.684 sec - in org.overture.codegen.tests.output.ClassicOutputTest Running org.overture.codegen.tests.output.RtOutputTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.13 sec - in org.overture.codegen.tests.output.RtOutputTest Running org.overture.codegen.tests.output.TracesVerdictOutputTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.203 sec - in org.overture.codegen.tests.output.TracesVerdictOutputTest Running org.overture.codegen.tests.output.PatternOutputTest Tests run: 68, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.141 sec - in org.overture.codegen.tests.output.PatternOutputTest Running org.overture.codegen.tests.output.TracesSlOutputTest Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.288 sec - in org.overture.codegen.tests.output.TracesSlOutputTest Running org.overture.codegen.tests.output.ConfiguredStringOutputTest Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.551 sec - in org.overture.codegen.tests.output.ConfiguredStringOutputTest Running org.overture.codegen.tests.output.ComplexExpOutputTest Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.374 sec - in org.overture.codegen.tests.output.ComplexExpOutputTest Running org.overture.codegen.tests.output.NameNormalisingOutputTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.412 sec - in org.overture.codegen.tests.output.NameNormalisingOutputTest Running org.overture.codegen.tests.output.ConcurrencyClassicOutputTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.092 sec - in org.overture.codegen.tests.output.ConcurrencyClassicOutputTest Running org.overture.codegen.tests.output.SystemClassOutputTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.078 sec - in org.overture.codegen.tests.output.SystemClassOutputTest Running org.overture.codegen.tests.output.FunctionValueOutputTest Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.392 sec - in org.overture.codegen.tests.output.FunctionValueOutputTest Running org.overture.codegen.tests.output.ExpOutputTest Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.274 sec - in org.overture.codegen.tests.output.ExpOutputTest Running org.overture.codegen.tests.output.SlOutputTest Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.565 sec - in org.overture.codegen.tests.output.SlOutputTest Running org.overture.codegen.tests.output.PrePostOutputTest Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.213 sec - in org.overture.codegen.tests.output.PrePostOutputTest Running org.overture.codegen.tests.output.PackageOutputTest Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.164 sec - in org.overture.codegen.tests.output.PackageOutputTest Running org.overture.codegen.tests.output.SpecificationOutputTest Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.317 sec - in org.overture.codegen.tests.output.SpecificationOutputTest Running org.overture.codegen.tests.output.UnionTypeOutputTest Tests run: 51, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.445 sec - in org.overture.codegen.tests.output.UnionTypeOutputTest Running org.overture.codegen.tests.output.ConfiguredCloningOutputTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.424 sec - in org.overture.codegen.tests.output.ConfiguredCloningOutputTest Running org.overture.codegen.tests.output.TracesExpansionOutputTest Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.501 sec - in org.overture.codegen.tests.output.TracesExpansionOutputTest Running org.overture.codegen.tests.output.ConcurrencyOutputTest Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.668 sec - in org.overture.codegen.tests.output.ConcurrencyOutputTest Results : Tests run: 1479, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen --- [INFO] Analyzed bundle 'The Java Code Generator' with 32 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 1 second [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM to JML Generator Runtime 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml-runtime --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml-runtime --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml-runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml-runtime --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 1 source file to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml-runtime --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml-runtime --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml-runtime --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml-runtime --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml-runtime --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml-runtime --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ vdm2jml-runtime --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ vdm2jml-runtime --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM to JML Generator 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:copy-resources (copy-resources) @ vdm2jml --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 24 resources [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 37 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 383 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 46 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.vdm2jml.tests.RecInvTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.059 sec - in org.overture.vdm2jml.tests.RecInvTests Running org.overture.vdm2jml.tests.JmlPassTypeCheckTests Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.045 sec - in org.overture.vdm2jml.tests.JmlPassTypeCheckTests Running org.overture.vdm2jml.tests.PreCondNoStateTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.266 sec - in org.overture.vdm2jml.tests.PreCondNoStateTests Running org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.016 sec - in org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests Running org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.007 sec - in org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests Running org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests Running org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.011 sec - in org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests Running org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.015 sec - in org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests Running org.overture.vdm2jml.tests.exec.JmlPrePostExecTests Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlPrePostExecTests Running org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.063 sec - in org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest Running org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.013 sec - in org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests Running org.overture.vdm2jml.tests.exec.JmlRecInvExecTests Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlRecInvExecTests Running org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.04 sec - in org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests Running org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.018 sec - in org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest Running org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests Tests run: 9, Failures: 0, Errors: 0, Skipped: 9, Time elapsed: 0.016 sec - in org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests Running org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.032 sec - in org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests Running org.overture.vdm2jml.tests.exec.JmlAtomicExecTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlAtomicExecTests Running org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests Running org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests Running org.overture.vdm2jml.tests.exec.JmlSelectorExecTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlSelectorExecTests Running org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.012 sec - in org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests Running org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests Running org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests Running org.overture.vdm2jml.tests.TypeDependencyTests Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.045 sec - in org.overture.vdm2jml.tests.TypeDependencyTests Running org.overture.vdm2jml.tests.JmlOutputTests Tests run: 85, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 8.309 sec - in org.overture.vdm2jml.tests.JmlOutputTests Running org.overture.vdm2jml.tests.StateTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec - in org.overture.vdm2jml.tests.StateTests Running org.overture.vdm2jml.tests.V2JCallTests Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.V2JCallTests Running org.overture.vdm2jml.tests.LeafTypeCallTests Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.LeafTypeCallTests Running org.overture.vdm2jml.tests.PurityTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.PurityTests Running org.overture.vdm2jml.tests.PostCondWithStateTests Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.029 sec - in org.overture.vdm2jml.tests.PostCondWithStateTests Running org.overture.vdm2jml.tests.JmlSlTraceOutputTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.166 sec - in org.overture.vdm2jml.tests.JmlSlTraceOutputTest Running org.overture.vdm2jml.tests.NameGenTests Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.018 sec - in org.overture.vdm2jml.tests.NameGenTests Running org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.463 sec - in org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest Running org.overture.vdm2jml.tests.PreCondWithStateTests Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.032 sec - in org.overture.vdm2jml.tests.PreCondWithStateTests Running org.overture.vdm2jml.tests.PostCondNoStateTests Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec - in org.overture.vdm2jml.tests.PostCondNoStateTests Results : Tests run: 278, Failures: 0, Errors: 0, Skipped: 110 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml --- [INFO] Analyzed bundle 'The VDM to JML Generator' with 37 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-dependency-plugin:2.10:copy (copy) @ vdm2jml --- [INFO] Configured Artifact: org.overturetool.core.codegen:codegen-runtime:2.7.3-SNAPSHOT:jar [INFO] Configured Artifact: org.overturetool.core.codegen:vdm2jml-runtime:2.7.3-SNAPSHOT:jar [INFO] Copying codegen-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/jml/lib/codegen-runtime.jar [INFO] Copying vdm2jml-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/jml/lib/vdm2jml-runtime.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ vdm2jml --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Java Code Generator Maven Plugin 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-plugin --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-plugin --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-plugin-plugin:3.3:descriptor (default-descriptor) @ codegen-plugin --- [INFO] Using 'UTF-8' encoding to read mojo metadata. [INFO] Applying mojo extractor for language: java [INFO] Mojo extractor for language: java found 1 mojo descriptors. [INFO] Applying mojo extractor for language: bsh [INFO] Mojo extractor for language: bsh found 0 mojo descriptors. [INFO] Applying mojo extractor for language: java-annotations [INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors. [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ codegen-plugin --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:2.4:compile (default-compile) @ codegen-plugin --- [INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/classes [INFO] [INFO] --- maven-plugin-plugin:3.3:descriptor (mojo-descriptor) @ codegen-plugin --- [INFO] Using 'UTF-8' encoding to read mojo metadata. [INFO] Applying mojo extractor for language: java [INFO] Mojo extractor for language: java found 1 mojo descriptors. [INFO] Applying mojo extractor for language: bsh [INFO] Mojo extractor for language: bsh found 0 mojo descriptors. [INFO] Applying mojo extractor for language: java-annotations [INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors. [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-plugin --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:2.4:testCompile (default-testCompile) @ codegen-plugin --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-plugin --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-plugin --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- maven-plugin-plugin:3.3:addPluginArtifactMetadata (default-addPluginArtifactMetadata) @ codegen-plugin --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-plugin --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-plugin --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-plugin --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM to Isabelle Translator 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isagen --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isagen --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- astcreator-plugin:1.6.8:generate (generate-ast) @ isagen --- [INFO] Preparing for tree generation... [INFO] Configuring extension [INFO] Extension base dependency is: "org.overturetool.core.codegen:ir" [INFO] Searching for base dependency artifact [INFO] Extension base artifact found - exstracting base tree definition files [INFO] Setting base definition files to: [INFO] base: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast [INFO] base tostring: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast.tostring [INFO] Extension base artifact configured. [INFO] Checking if generation required. [INFO] Full AST generation needed [INFO] Generating... [INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast [INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/src/main/resources/isair.ast Generating base and extension tree, standby ... Extension tree only: true Adding aspect fields: PIRBase.{sourceNode,tag,metaData} WARNING: Using SubProduction class found without using package name. SImportsIRBase WARNING: Using SubProduction class found without using package name. SImportIRBase Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName} Adding aspect fields: SValueImportBase.{importType} WARNING: Using SubProduction class found without using package name. SExportsIRBase WARNING: Using SubProduction class found without using package name. SExportIRBase Adding aspect fields: SExportIRBase.{decl} WARNING: Using SubProduction class found without using package name. SPatternIRBase WARNING: Using SubProduction class found without using package name. SBindIRBase Adding aspect fields: SBindIRBase.{pattern} WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase Adding aspect fields: SMultipleBindIRBase.{patterns} WARNING: Using SubProduction class found without using package name. SNameIRBase WARNING: Using SubProduction class found without using package name. SDeclIRBase Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs} WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase Adding aspect fields: SStateDesignatorIRBase.{type} WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase WARNING: Using SubProduction class found without using package name. SLocalParamIRBase WARNING: Using SubProduction class found without using package name. SStmIRBase Adding aspect fields: SCallStmBase.{type,isStatic,name,args} WARNING: Using SubProduction class found without using package name. SLetBeStIRBase WARNING: Using SubProduction class found without using package name. SExpIRBase Adding aspect fields: SExpIRBase.{type} WARNING: Using SubProduction class found without using package name. SModifierIRBase Adding aspect fields: SIsExpBase.{exp} Adding aspect fields: SVarExpBase.{isLambda,isLocal,name} Adding aspect fields: SQuantifierExpBase.{bindList,predicate} Adding aspect fields: SBinaryExpBase.{left,right} Adding aspect fields: SUnaryExpBase.{exp} WARNING: Using SubProduction class found without using package name. STypeIRBase Adding aspect fields: STypeIRBase.{optional,namedInvType} Adding aspect fields: SSetTypeBase.{empty,setOf} Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf} Adding aspect fields: SMapTypeBase.{empty,injective,from,to} WARNING: Using SubProduction class found without using package name. STermIRBase WARNING: Using SubProduction class found without using package name. STraceDeclIRBase WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase Retry Create interfaces - with 17 not yet created interfaces. Done creating interfaces Generating toString add on... WARNING: Using SubProduction class found without using package name. SDeclIRBase Done creating interfaces Generating toString add on... Failed to lookup tostring addition with %AIsaclassClassIR @ line 8 38:53 *********************************************** AST Creator Extensions *********************************************** Generating enumerations... Generating analysis visitors... Analysis...Answer...Question...Question-Answer...Depth-First... Writing sources to the file system, standby ... Destination: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/generated-sources/astCreator Copying base classes to destination... Writing source files.: .............. File write completed in 0 secs Created AST with extensions. [INFO] [INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ isagen --- [INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/generated-sources/astCreator added. [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isagen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 65 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isagen --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 24 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isagen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 144 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isagen --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isagen --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overturetool.cgisa.IsaGenFileExpTest Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.093 sec - in org.overturetool.cgisa.IsaGenFileExpTest Running org.overturetool.cgisa.IsaGenModelTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in org.overturetool.cgisa.IsaGenModelTest Running org.overturetool.cgisa.IsaGenParamTest Tests run: 48, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.868 sec - in org.overturetool.cgisa.IsaGenParamTest Results : Tests run: 73, Failures: 0, Errors: 0, Skipped: 3 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isagen --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isagen --- [INFO] Analyzed bundle 'The VDM to Isabelle Translator' with 19 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isagen --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ isagen --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building POG - Isagen Integration 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isapog --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isapog --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isapog --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/../../documentation/examples [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isapog --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 2 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isapog --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 7 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isapog --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isapog --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.isapog.ThyWriteTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.833 sec - in org.overture.isapog.ThyWriteTest Running org.overture.isapog.IsaPogIntegrationTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.023 sec - in org.overture.isapog.IsaPogIntegrationTest Results : Tests run: 4, Failures: 0, Errors: 0, Skipped: 3 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isapog --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isapog --- [INFO] Analyzed bundle 'POG - Isagen Integration' with 2 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isapog --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ isapog --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building VDM Annotations 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ annotations --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ annotations --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ annotations --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ annotations --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ annotations --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/2.7.3-SNAPSHOT/annotations-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Provided Annotations 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ provided --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ provided --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ provided --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ provided --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/classes [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ provided --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ provided --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ provided --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ provided --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ provided --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ provided --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ provided --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Annotation Examples 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ examples --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ examples --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ examples --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ examples --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 2 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/classes [INFO] [JENKINS] Recording test results[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ examples --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ examples --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ examples --- [INFO] No tests to run. [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ examples --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ examples --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ examples --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ examples --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Documentation 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ documentation --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ documentation --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/documentation/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ documentation --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/documentation/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ documentation --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/2.7.3-SNAPSHOT/documentation-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Overture release notes 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ releasenotes --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ releasenotes --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ releasenotes --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 80 resources to /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/classes/releasenotes [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ releasenotes --- [INFO] No sources to compile [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ releasenotes --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ releasenotes --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ releasenotes --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ releasenotes --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ releasenotes --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ releasenotes --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] Artifactory Build Info Recorder: Saving Build Info to '/var/lib/jenkins/workspace/overture-pvj-main/target/build-info.json' [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/2.7.3-SNAPSHOT/annotations-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/2.7.3-SNAPSHOT/core-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/2.7.3-SNAPSHOT/codegen-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/2.7.3-SNAPSHOT/combinatorialtesting-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/root/2.7.3-SNAPSHOT/root-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT-sources.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/2.7.3-SNAPSHOT/testing-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/documentation/2.7.3-SNAPSHOT/documentation-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/prettyprinting/2.7.3-SNAPSHOT/prettyprinting-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.pom [INFO] Artifactory Build Info Recorder: Deploying build info ... [INFO] Deploying build descriptor to: http://overture.au.dk:8081/artifactory/api/build [INFO] Build successfully deployed. Browse it in Artifactory under http://overture.au.dk:8081/artifactory/webapp/builds/overture-pvj-main/165 [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary: [INFO] [INFO] The Overture Tool Platform root ................... SUCCESS [2.805s] [INFO] Overture External Resources ....................... SUCCESS [5.373s] [INFO] Core Tools ........................................ SUCCESS [1.077s] [INFO] The Overture Abstract Syntax Tree ................. SUCCESS [37.316s] [INFO] Test Framework for Overture ....................... SUCCESS [1.095s] [INFO] The VDM parser .................................... SUCCESS [13.825s] [INFO] The VDM Type Checker .............................. SUCCESS [39.151s] [INFO] Overture Testing .................................. SUCCESS [0.258s] [INFO] Overture Testing Framework ........................ SUCCESS [0.956s] [INFO] Overture Sample Tests ............................. SUCCESS [29.455s] [INFO] VDM Pretty Printing ............................... SUCCESS [0.267s] [INFO] The VDM Pretty Printer ............................ SUCCESS [1.468s] [INFO] The Proof Obligation Generator .................... SUCCESS [14.292s] [INFO] The VDM Interpreter ............................... SUCCESS [34.814s] [INFO] Combinatorial Testing ............................. SUCCESS [0.262s] [INFO] Combinatorial Testing Utilities ................... SUCCESS [0.792s] [INFO] Combinatorial Testing Runtime ..................... SUCCESS [31.821s] [INFO] New Pretty Printer ................................ SUCCESS [3.133s] [INFO] Overture Core Command Line Tool ................... SUCCESS [5.581s] [INFO] Code Generation ................................... SUCCESS [0.283s] [INFO] The Intermediate Representation Tree .............. SUCCESS [16.680s] [INFO] The Code Generation Platform ...................... SUCCESS [7.887s] [INFO] The Java Code Generator Runtime ................... SUCCESS [5.764s] [INFO] The Java Code Generator Testing ................... SUCCESS [1.074s] [INFO] The Java Code Generator ........................... SUCCESS [17:17.125s] [INFO] The VDM to JML Generator Runtime .................. SUCCESS [0.894s] [INFO] The VDM to JML Generator .......................... SUCCESS [19.622s] [INFO] The Java Code Generator Maven Plugin .............. SUCCESS [10.125s] [INFO] The VDM to Isabelle Translator .................... SUCCESS [9.159s] [INFO] POG - Isagen Integration .......................... SUCCESS [4.708s] [INFO] VDM Annotations ................................... SUCCESS [0.310s] [INFO] Provided Annotations .............................. SUCCESS [0.782s] [INFO] Annotation Examples ............................... SUCCESS [3.846s] [INFO] Documentation ..................................... SUCCESS [0.251s] [INFO] The Overture release notes ........................ SUCCESS [0.742s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 23:42.356s [INFO] Finished at: Thu Oct 17 12:28:27 CEST 2019 [INFO] Final Memory: 76M/496M [INFO] ------------------------------------------------------------------------ Waiting for Jenkins to finish collecting data [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/pom.xml to org.overturetool.core.codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-sources.jar to org.overturetool.core.codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT-sources.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/pom.xml to org.overturetool.core/annotations/2.7.3-SNAPSHOT/annotations-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/pom.xml to org.overturetool.core.annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.3-SNAPSHOT.jar to org.overturetool.core.annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pom.xml to org.overturetool/core/2.7.3-SNAPSHOT/core-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/ast/pom.xml to org.overturetool.core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/ast-2.7.3-SNAPSHOT.jar to org.overturetool.core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/pom.xml to org.overturetool.core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.3-SNAPSHOT.jar to org.overturetool.core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/pom.xml to org.overturetool.core.testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/framework-2.7.3-SNAPSHOT.jar to org.overturetool.core.testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/pom.xml to org.overturetool.core/combinatorialtesting/2.7.3-SNAPSHOT/combinatorialtesting-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/pom.xml to org.overturetool.core.prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT.jar to org.overturetool.core.prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/pom.xml to org.overturetool/root/2.7.3-SNAPSHOT/root-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/pom.xml to org.overturetool.core.testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/samples-2.7.3-SNAPSHOT.jar to org.overturetool.core.testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/pom.xml to org.overturetool/documentation/2.7.3-SNAPSHOT/documentation-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/pom.xml to org.overturetool.core.codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/pom.xml to org.overturetool.core.codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/pom.xml to org.overturetool.core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.3-SNAPSHOT.jar to org.overturetool.core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/pom.xml to org.overturetool.core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/testframework-2.7.3-SNAPSHOT.jar to org.overturetool.core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/pom.xml to org.overturetool.core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT.jar to org.overturetool.core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar to org.overturetool.core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/pom.xml to org.overturetool.core.annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.3-SNAPSHOT.jar to org.overturetool.core.annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/pom.xml to org.overturetool.core/codegen/2.7.3-SNAPSHOT/codegen-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/pom.xml to org.overturetool.core.codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/pom.xml to org.overturetool.core.codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/pom.xml to org.overturetool.core/testing/2.7.3-SNAPSHOT/testing-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/pom.xml to org.overturetool.documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.3-SNAPSHOT.jar to org.overturetool.documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/pom.xml to org.overturetool.core/prettyprinting/2.7.3-SNAPSHOT/prettyprinting-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/pom.xml to org.overturetool.core.codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/pom.xml to org.overturetool.core.codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/pom.xml to org.overturetool.core.codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/externals/pom.xml to org.overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/externals/target/externals-2.7.3-SNAPSHOT.jar to org.overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/pom.xml to org.overturetool.core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.3-SNAPSHOT.jar to org.overturetool.core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/pom.xml to org.overturetool.core.codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/pom.xml to org.overturetool.core.combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/ctutils-2.7.3-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pog/pom.xml to org.overturetool.core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.3-SNAPSHOT.jar to org.overturetool.core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/pom.xml to org.overturetool.core.combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/ctruntime-2.7.3-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/parser/pom.xml to org.overturetool.core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/parser-2.7.3-SNAPSHOT.jar to org.overturetool.core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.jar [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/pom.xml to org.overturetool.core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.pom [JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/interpreter-2.7.3-SNAPSHOT.jar to org.overturetool.core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.jar channel stopped [Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@2a5041d9[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=213752,milestones={},language=Java,commits={},source=,parent=,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Thu, 17 Oct 2019 10:28:37 GMT], ETag=["9268fafd79658152d76c8fd360bafb25"], Last-Modified=[Thu, 17 Oct 2019 10:01:34 GMT], OkHttp-Received-Millis=[1571308117867], OkHttp-Response-Source=[CONDITIONAL_CACHE 304], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1571308117651], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[304 Not Modified], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[D1D2:1482C:C0EB8D6:E935095:5DA84255], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[5000], X-RateLimit-Reset=[1571311717], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:c354db8) with context:overture-pvj-main Setting commit status on GitHub for https://github.com/overturetool/overture/commit/c354db831f18c5e7368563bba4e85866232b541f Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 2 second No mail will be sent out, as 'overture-pvj-main #165' does not have a result yet. Please make sure you set a proper result in case of pipeline/build scripts. Finished: SUCCESS