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.5-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.126 sec - in MapTest
Running PermuteArrayTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec - in PermuteArrayTest
Running PermutorTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in PermutorTest
Running VDMUtilTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec - in VDMUtilTest
Running IsTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 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.01 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.5-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.5-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.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-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.5-SNAPSHOT/codegen-runtime-2.7.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.5-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-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'
[WARNING] Artifactory Build Info Recorder: unstable build, artifacts will not be deployed...
[WARNING] Artifactory Build Info Recorder: unstable build, build info will not be published...
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] The Overture Tool Platform root ................... SUCCESS [1.464s]
[INFO] Overture External Resources ....................... SUCCESS [2.845s]
[INFO] Core Tools ........................................ SUCCESS [0.818s]
[INFO] The Overture Abstract Syntax Tree ................. SUCCESS [20.501s]
[INFO] Test Framework for Overture ....................... SUCCESS [0.848s]
[INFO] The VDM parser .................................... SUCCESS [10.750s]
[INFO] The VDM Type Checker .............................. SUCCESS [20.091s]
[INFO] Overture Testing .................................. SUCCESS [0.285s]
[INFO] Overture Testing Framework ........................ SUCCESS [0.746s]
[INFO] Overture Sample Tests ............................. SUCCESS [17.974s]
[INFO] VDM Pretty Printing ............................... SUCCESS [0.321s]
[INFO] The VDM Pretty Printer ............................ SUCCESS [0.786s]
[INFO] The Proof Obligation Generator .................... SUCCESS [10.090s]
[INFO] The VDM Interpreter ............................... SUCCESS [22.435s]
[INFO] Combinatorial Testing ............................. SUCCESS [0.286s]
[INFO] Combinatorial Testing Utilities ................... SUCCESS [0.758s]
[INFO] Combinatorial Testing Runtime ..................... SUCCESS [23.242s]
[INFO] New Pretty Printer ................................ SUCCESS [2.561s]
[INFO] Overture Core Command Line Tool ................... SUCCESS [3.201s]
[INFO] Code Generation ................................... SUCCESS [0.287s]
[INFO] The Intermediate Representation Tree .............. SUCCESS [13.105s]
[INFO] The Code Generation Platform ...................... SUCCESS [5.395s]
[INFO] The Java Code Generator Runtime ................... SUCCESS [3.177s]
[INFO] The Java Code Generator Testing ................... SUCCESS [0.880s]
[INFO] The Java Code Generator ........................... SUCCESS [10:42.407s]
[INFO] The VDM to JML Generator Runtime .................. SUCCESS [1.097s]
[INFO] The VDM to JML Generator .......................... SUCCESS [16.416s]
[INFO] The Java Code Generator Maven Plugin .............. SUCCESS [7.079s]
[INFO] The VDM to Isabelle Translator .................... SUCCESS [5.599s]
[INFO] POG - Isagen Integration .......................... SUCCESS [3.823s]
[INFO] VDM Annotations ................................... SUCCESS [0.269s]
[INFO] Provided Annotations .............................. SUCCESS [0.713s]
[INFO] Annotation Examples ............................... SUCCESS [0.741s]
[INFO] Documentation ..................................... SUCCESS [0.227s]
[INFO] The Overture release notes ........................ SUCCESS [0.636s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 14:57.953s
[INFO] Finished at: Sun May 17 19:25:04 CEST 2020
[INFO] Final Memory: 93M/543M
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data