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 Overture IDE Top-level 3.0.2
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ide ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ide ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-master/.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-master/ide/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) @ ide ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-master/ide/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ ide ---
[INFO] 0 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ide ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ide ---
[INFO] Installing /var/lib/jenkins/workspace/overture-master/ide/pom.xml to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/ide/3.0.2/ide-3.0.2.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] Reactor Summary:
[INFO] 
[INFO] The Overture Tool Platform root ................... SUCCESS [3.778s]
[INFO] Overture External Resources ....................... SUCCESS [6.469s]
[INFO] Core Tools ........................................ SUCCESS [1.272s]
[INFO] The Overture Abstract Syntax Tree ................. SUCCESS [23.877s]
[INFO] Test Framework for Overture ....................... SUCCESS [2.978s]
[INFO] The VDM parser .................................... SUCCESS [13.673s]
[INFO] The VDM Type Checker .............................. SUCCESS [40.820s]
[INFO] Overture Testing .................................. SUCCESS [0.325s]
[INFO] Overture Testing Framework ........................ SUCCESS [3.181s]
[INFO] Overture Sample Tests ............................. SUCCESS [8.022s]
[INFO] VDM Pretty Printing ............................... SUCCESS [0.319s]
[INFO] The VDM Pretty Printer ............................ SUCCESS [3.413s]
[INFO] The Proof Obligation Generator .................... SUCCESS [19.676s]
[INFO] The VDM Interpreter ............................... SUCCESS [36.819s]
[INFO] Combinatorial Testing ............................. SUCCESS [0.315s]
[INFO] Combinatorial Testing Utilities ................... SUCCESS [2.781s]
[INFO] Combinatorial Testing Runtime ..................... SUCCESS [26.630s]
[INFO] New Pretty Printer ................................ SUCCESS [5.121s]
[INFO] Overture Core Command Line Tool ................... SUCCESS [4.968s]
[INFO] Code Generation ................................... SUCCESS [0.330s]
[INFO] The Intermediate Representation Tree .............. SUCCESS [14.554s]
[INFO] The Code Generation Platform ...................... SUCCESS [1:11.483s]
[INFO] The Java Code Generator Runtime ................... SUCCESS [7.673s]
[INFO] The Java Code Generator Testing ................... SUCCESS [3.014s]
[INFO] The Java Code Generator ........................... SUCCESS [47.788s]
[INFO] The VDM to JML Generator Runtime .................. SUCCESS [2.193s]
[INFO] The VDM to JML Generator .......................... SUCCESS [32.241s]
[INFO] The Java Code Generator Maven Plugin .............. SUCCESS [16.365s]
[INFO] The VDM to Isabelle Translator .................... SUCCESS [12.005s]
[INFO] POG - Isagen Integration .......................... SUCCESS [5.611s]
[INFO] VDM Annotations ................................... SUCCESS [0.355s]
[INFO] Provided Annotations .............................. SUCCESS [2.512s]
[INFO] Annotation Examples ............................... SUCCESS [2.023s]
[INFO] Documentation ..................................... SUCCESS [0.301s]
[INFO] The Overture release notes ........................ SUCCESS [2.068s]
[INFO] Overture IDE Top-level ............................ SUCCESS [1.021s]
[INFO] org.overture.ide.core ............................. SUCCESS [5.121s]
[INFO] Overture IDE Builders ............................. SUCCESS [0.341s]
[INFO] org.overture.ide.builders.vdmj .................... SUCCESS [2.088s]
[INFO] org.overture.ide.ui ............................... SUCCESS [6.631s]
[INFO] Overture IDE Parsers .............................. SUCCESS [0.345s]
[INFO] org.overture.ide.parsers.vdmj ..................... SUCCESS [1.974s]
[INFO] org.overture.ide.debug ............................ SUCCESS [4.912s]
[INFO] Overture IDE VDM-SL top level ..................... SUCCESS [0.340s]
[INFO] org.overture.ide.vdmsl.core ....................... SUCCESS [2.405s]
[INFO] org.overture.ide.vdmsl.ui ......................... SUCCESS [2.401s]
[INFO] org.overture.ide.vdmsl.debug ...................... SUCCESS [2.381s]
[INFO] Overture IDE VDM-PP Top-level ..................... SUCCESS [0.358s]
[INFO] org.overture.ide.vdmpp.core ....................... SUCCESS [1.796s]
[INFO] org.overture.ide.vdmpp.ui ......................... SUCCESS [2.389s]
[INFO] org.overture.ide.vdmpp.debug ...................... SUCCESS [4.351s]
[INFO] Overture IDE VDM-RT (RealTime) Top-level .......... SUCCESS [0.341s]
[INFO] org.overture.ide.vdmrt.core ....................... SUCCESS [1.736s]
[INFO] org.overture.ide.vdmrt.ui ......................... SUCCESS [2.538s]
[INFO] org.overture.ide.vdmrt.debug ...................... SUCCESS [2.297s]
[INFO] org.overture.ide.help ............................. SUCCESS [19.257s]
[INFO] Overture IDE core plugins GUI ..................... SUCCESS [0.347s]
[INFO] org.overture.ide.plugins.externaleditor ........... SUCCESS [2.467s]
[INFO] org.overture.ide.plugins.coverageeditor ........... SUCCESS [2.410s]
[INFO] org.overture.ide.plugins.csk ...................... SUCCESS [2.255s]
[INFO] org.overture.ide.plugins.quickinterpreter ......... SUCCESS [2.431s]
[INFO] org.overture.ide.plugins.latex .................... SUCCESS [3.263s]
[INFO] org.overture.ide.plugins.poviewer ................. SUCCESS [3.626s]
[INFO] Combinatorial Testing ............................. SUCCESS [4.791s]
[INFO] Developer Utilities for Overture .................. SUCCESS [2.519s]
[INFO] UML2 Translator ................................... SUCCESS [2.875s]
[INFO] RT Trace Viewer Plugin ............................ SUCCESS [2.918s]
[INFO] The Java Code Generator Plugin .................... SUCCESS [4.339s]
[INFO] org.overture.ide.platform ......................... SUCCESS [8.912s]
[INFO] Overture IDE Eclipse features ..................... SUCCESS [0.446s]
[INFO] Overture IDE Eclipse core feature ................. SUCCESS [2.179s]
[INFO] Overture IDE Eclipse plugin features .............. SUCCESS [0.421s]
[INFO] Overture IDE Eclipse Coverage Editor feature ...... SUCCESS [2.286s]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature ... SUCCESS [2.553s]
[INFO] Overture IDE Eclipse Combinatorial Testing feature  SUCCESS [4.784s]
[INFO] Overture IDE Eclipse Developer Utilities feature .. SUCCESS [1.987s]
[INFO] Overture IDE Eclipse LaTeX Creator feature ........ SUCCESS [1.940s]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature  SUCCESS [2.117s]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature  SUCCESS [2.023s]
[INFO] Overture IDE Eclipse plugin uml2 feature .......... SUCCESS [2.919s]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature  SUCCESS [1.949s]
[INFO] Overture IDE Eclipse Java Code Generator feature .. SUCCESS [2.010s]
[INFO] Overture IDE Eclipse rcp feature .................. SUCCESS [12.302s]
[INFO] Overture IDE Standalone Product ................... SUCCESS [4:20.268s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 19:56.856s
[INFO] Finished at: Tue Nov 10 16:42:48 CET 2020
[INFO] Final Memory: 275M/881M
[INFO] ------------------------------------------------------------------------
[WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.
Waiting for Jenkins to finish collecting data