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.0 [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.0/ide-3.0.0.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.384s] [INFO] Overture External Resources ....................... SUCCESS [5.380s] [INFO] Core Tools ........................................ SUCCESS [1.284s] [INFO] The Overture Abstract Syntax Tree ................. SUCCESS [19.327s] [INFO] Test Framework for Overture ....................... SUCCESS [2.614s] [INFO] The VDM parser .................................... SUCCESS [11.426s] [INFO] The VDM Type Checker .............................. SUCCESS [34.430s] [INFO] Overture Testing .................................. SUCCESS [0.332s] [INFO] Overture Testing Framework ........................ SUCCESS [2.422s] [INFO] Overture Sample Tests ............................. SUCCESS [6.987s] [INFO] VDM Pretty Printing ............................... SUCCESS [0.334s] [INFO] The VDM Pretty Printer ............................ SUCCESS [2.826s] [INFO] The Proof Obligation Generator .................... SUCCESS [16.530s] [INFO] The VDM Interpreter ............................... SUCCESS [28.244s] [INFO] Combinatorial Testing ............................. SUCCESS [0.309s] [INFO] Combinatorial Testing Utilities ................... SUCCESS [2.127s] [INFO] Combinatorial Testing Runtime ..................... SUCCESS [23.339s] [INFO] New Pretty Printer ................................ SUCCESS [4.431s] [INFO] Overture Core Command Line Tool ................... SUCCESS [4.125s] [INFO] Code Generation ................................... SUCCESS [0.337s] [INFO] The Intermediate Representation Tree .............. SUCCESS [13.718s] [INFO] The Code Generation Platform ...................... SUCCESS [1:08.827s] [INFO] The Java Code Generator Runtime ................... SUCCESS [5.975s] [INFO] The Java Code Generator Testing ................... SUCCESS [2.679s] [INFO] The Java Code Generator ........................... SUCCESS [37.696s] [INFO] The VDM to JML Generator Runtime .................. SUCCESS [1.997s] [INFO] The VDM to JML Generator .......................... SUCCESS [29.655s] [INFO] The Java Code Generator Maven Plugin .............. SUCCESS [12.692s] [INFO] The VDM to Isabelle Translator .................... SUCCESS [11.396s] [INFO] POG - Isagen Integration .......................... SUCCESS [4.817s] [INFO] VDM Annotations ................................... SUCCESS [0.346s] [INFO] Provided Annotations .............................. SUCCESS [2.172s] [INFO] Annotation Examples ............................... SUCCESS [1.877s] [INFO] Documentation ..................................... SUCCESS [0.285s] [INFO] The Overture release notes ........................ SUCCESS [1.611s] [INFO] Overture IDE Top-level ............................ SUCCESS [0.921s] [INFO] org.overture.ide.core ............................. SUCCESS [4.452s] [INFO] Overture IDE Builders ............................. SUCCESS [0.324s] [INFO] org.overture.ide.builders.vdmj .................... SUCCESS [1.918s] [INFO] org.overture.ide.ui ............................... SUCCESS [4.423s] [INFO] Overture IDE Parsers .............................. SUCCESS [0.895s] [INFO] org.overture.ide.parsers.vdmj ..................... SUCCESS [3.175s] [INFO] org.overture.ide.debug ............................ SUCCESS [4.276s] [INFO] Overture IDE VDM-SL top level ..................... SUCCESS [0.349s] [INFO] org.overture.ide.vdmsl.core ....................... SUCCESS [1.675s] [INFO] org.overture.ide.vdmsl.ui ......................... SUCCESS [2.050s] [INFO] org.overture.ide.vdmsl.debug ...................... SUCCESS [2.272s] [INFO] Overture IDE VDM-PP Top-level ..................... SUCCESS [0.374s] [INFO] org.overture.ide.vdmpp.core ....................... SUCCESS [1.604s] [INFO] org.overture.ide.vdmpp.ui ......................... SUCCESS [2.117s] [INFO] org.overture.ide.vdmpp.debug ...................... SUCCESS [2.158s] [INFO] Overture IDE VDM-RT (RealTime) Top-level .......... SUCCESS [0.349s] [INFO] org.overture.ide.vdmrt.core ....................... SUCCESS [1.690s] [INFO] org.overture.ide.vdmrt.ui ......................... SUCCESS [3.742s] [INFO] org.overture.ide.vdmrt.debug ...................... SUCCESS [2.156s] [INFO] org.overture.ide.help ............................. SUCCESS [14.196s] [INFO] Overture IDE core plugins GUI ..................... SUCCESS [0.320s] [INFO] org.overture.ide.plugins.externaleditor ........... SUCCESS [2.151s] [INFO] org.overture.ide.plugins.coverageeditor ........... SUCCESS [2.356s] [INFO] org.overture.ide.plugins.csk ...................... SUCCESS [2.902s] [INFO] org.overture.ide.plugins.quickinterpreter ......... SUCCESS [2.304s] [INFO] org.overture.ide.plugins.latex .................... SUCCESS [2.374s] [INFO] org.overture.ide.plugins.poviewer ................. SUCCESS [2.390s] [INFO] Combinatorial Testing ............................. SUCCESS [4.243s] [INFO] Developer Utilities for Overture .................. SUCCESS [2.051s] [INFO] UML2 Translator ................................... SUCCESS [2.665s] [INFO] RT Trace Viewer Plugin ............................ SUCCESS [3.551s] [INFO] The Java Code Generator Plugin .................... SUCCESS [4.284s] [INFO] org.overture.ide.platform ......................... SUCCESS [8.210s] [INFO] Overture IDE Eclipse features ..................... SUCCESS [0.339s] [INFO] Overture IDE Eclipse core feature ................. SUCCESS [2.181s] [INFO] Overture IDE Eclipse plugin features .............. SUCCESS [0.354s] [INFO] Overture IDE Eclipse Coverage Editor feature ...... SUCCESS [1.954s] [INFO] Overture IDE Eclipse CSK VDM Tools Link feature ... SUCCESS [1.757s] [INFO] Overture IDE Eclipse Combinatorial Testing feature SUCCESS [3.019s] [INFO] Overture IDE Eclipse Developer Utilities feature .. SUCCESS [2.199s] [INFO] Overture IDE Eclipse LaTeX Creator feature ........ SUCCESS [2.026s] [INFO] Overture IDE Eclipse Proof Obligation Viewer feature SUCCESS [2.119s] [INFO] Overture IDE Eclipse VDM Quick Interpreter feature SUCCESS [1.849s] [INFO] Overture IDE Eclipse plugin uml2 feature .......... SUCCESS [2.159s] [INFO] Overture IDE Eclipse Realtime Trace Viewer feature SUCCESS [1.962s] [INFO] Overture IDE Eclipse Java Code Generator feature .. SUCCESS [1.941s] [INFO] Overture IDE Eclipse rcp feature .................. SUCCESS [10.595s] [INFO] Overture IDE Standalone Product ................... SUCCESS [1:45.670s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 15:05.956s [INFO] Finished at: Fri Aug 28 14:04:42 CEST 2020 [INFO] Final Memory: 289M/728M [INFO] ------------------------------------------------------------------------ [WARNING] The requested profile "force-download-externals" could not be activated because it does not exist. Waiting for Jenkins to finish collecting data