SuccessConsole Output

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