Console Output
Skipping 20 KB..
Full Log34mINFO[m] [1mBuilding The Intermediate Representation Tree 3.0.0-SNAPSHOT [21/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mir[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core.codegen:platform[0;1m >---------------[m
[[1;34mINFO[m] [1mBuilding The Code Generation Platform 3.0.0-SNAPSHOT [22/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mplatform[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.core.codegen:codegen-runtime[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Runtime 3.0.0-SNAPSHOT [23/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcodegen-runtime[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.core.codegen:javagen-test[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Testing 3.0.0-SNAPSHOT [24/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mjavagen-test[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core.codegen:javagen[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator 3.0.0-SNAPSHOT [25/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mjavagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.core.codegen:vdm2jml-runtime[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding The VDM to JML Generator Runtime 3.0.0-SNAPSHOT [26/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mvdm2jml-runtime[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/vdm2jml-runtime/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core.codegen:vdm2jml[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding The VDM to JML Generator 3.0.0-SNAPSHOT [27/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mvdm2jml[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/vdm2jml/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.core.codegen:codegen-plugin[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Maven Plugin 3.0.0-SNAPSHOT [28/84][m
[[1;34mINFO[m] [1m----------------------------[ maven-plugin ]----------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcodegen-plugin[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-maven-plugin/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----------------< [0;36morg.overturetool.core.codegen:isagen[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding The VDM to Isabelle Translator 3.0.0-SNAPSHOT [29/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36misagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/isagen/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------------------< [0;36morg.overturetool.core:isapog[0;1m >--------------------[m
[[1;34mINFO[m] [1mBuilding POG - Isagen Integration 3.0.0-SNAPSHOT [30/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36misapog[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/isapog/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------------< [0;36morg.overturetool.core:annotations[0;1m >------------------[m
[[1;34mINFO[m] [1mBuilding VDM Annotations 3.0.0-SNAPSHOT [31/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mannotations[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.core.annotations:provided[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Provided Annotations 3.0.0-SNAPSHOT [32/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mprovided[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/annotations/provided/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.core.annotations:examples[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Annotation Examples 3.0.0-SNAPSHOT [33/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mexamples[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/annotations/examples/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------------< [0;36morg.overturetool:documentation[0;1m >-------------------[m
[[1;34mINFO[m] [1mBuilding Documentation 3.0.0-SNAPSHOT [34/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mdocumentation[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.documentation:releasenotes[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding The Overture release notes 3.0.0-SNAPSHOT [35/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mreleasenotes[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/documentation/releasenotes/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------------------< [0;36morg.overturetool:ide[0;1m >------------------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Top-level 3.0.0-SNAPSHOT [36/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mide[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.ide:org.overture.ide.core[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.core 3.0.0-SNAPSHOT [37/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/core/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/core/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------------< [0;36morg.overturetool.ide:org.overture.ide.ui[0;1m >--------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.ui 3.0.0-SNAPSHOT [38/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.parsers[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Parsers 3.0.0-SNAPSHOT [39/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.parsers[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----< [0;36morg.overturetool.ide.parsers:org.overture.ide.parsers.vdmj[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.parsers.vdmj 3.0.0-SNAPSHOT [40/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.parsers.vdmj[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.builders[0;1m >-----------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Builders 3.0.0-SNAPSHOT [41/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.builders[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.builders:org.overture.ide.builders.vdmj[0;1m >----[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.builders.vdmj 3.0.0-SNAPSHOT [42/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.builders.vdmj[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.debug[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.debug 3.0.0-SNAPSHOT [43/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/debug/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/debug/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.vdmsl[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE VDM-SL top level 3.0.0-SNAPSHOT [44/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------< [0;36morg.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmsl.core 3.0.0-SNAPSHOT [45/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------< [0;36morg.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui[0;1m >--------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmsl.ui 3.0.0-SNAPSHOT [46/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------< [0;36morg.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmsl.debug 3.0.0-SNAPSHOT [47/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.vdmpp[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE VDM-PP Top-level 3.0.0-SNAPSHOT [48/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------< [0;36morg.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmpp.core 3.0.0-SNAPSHOT [49/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------< [0;36morg.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui[0;1m >--------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmpp.ui 3.0.0-SNAPSHOT [50/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------< [0;36morg.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmpp.debug 3.0.0-SNAPSHOT [51/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.vdmrt[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE VDM-RT (RealTime) Top-level 3.0.0-SNAPSHOT [52/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------< [0;36morg.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmrt.core 3.0.0-SNAPSHOT [53/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------< [0;36morg.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui[0;1m >--------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmrt.ui 3.0.0-SNAPSHOT [54/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------< [0;36morg.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmrt.debug 3.0.0-SNAPSHOT [55/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.ide:org.overture.ide.help[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.help 3.0.0-SNAPSHOT [56/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.help[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/help/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.plugins[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE core plugins GUI 3.0.0-SNAPSHOT [57/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor[0;1m >--[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.coverageeditor 3.0.0-SNAPSHOT [58/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.coverageeditor[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.csk[0;1m >------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.csk 3.0.0-SNAPSHOT [59/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.csk[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter[0;1m >--[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.quickinterpreter 3.0.0-SNAPSHOT [60/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.quickinterpreter[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor[0;1m >--[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.externaleditor 3.0.0-SNAPSHOT [61/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.externaleditor[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.latex[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.latex 3.0.0-SNAPSHOT [62/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.latex[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.poviewer[0;1m >---[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.poviewer 3.0.0-SNAPSHOT [63/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.poviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Combinatorial Testing 3.0.0-SNAPSHOT [64/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.combinatorialtesting[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.developerutils[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Developer Utilities for Overture 3.0.0-SNAPSHOT [65/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.developerutils[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.uml2[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding UML2 Translator 3.0.0-SNAPSHOT [66/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.uml2[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer[0;1m >--[m
[[1;34mINFO[m] [1mBuilding RT Trace Viewer Plugin 3.0.0-SNAPSHOT [67/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.rttraceviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.javagen[0;1m >----[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Plugin 3.0.0-SNAPSHOT [68/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.javagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.features[0;1m >---[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse plugin features 3.0.0-SNAPSHOT [69/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Coverage Editor feature 3.0.0-SNAPSHOT [70/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.coverageeditor[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse CSK VDM Tools Link feature 3.0.0-SNAPSHOT [71/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.csk[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Combinatorial Testing feature 3.0.0-SNAPSHOT [72/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.combinatorialtesting[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Developer Utilities feature 3.0.0-SNAPSHOT [73/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.developerutils[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse LaTeX Creator feature 3.0.0-SNAPSHOT [74/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.latex[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Proof Obligation Viewer feature 3.0.0-SNAPSHOT [75/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.poviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse VDM Quick Interpreter feature 3.0.0-SNAPSHOT [76/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.quickinterpreter[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse plugin uml2 feature 3.0.0-SNAPSHOT [77/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.uml2[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Realtime Trace Viewer feature 3.0.0-SNAPSHOT [78/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.rttraceviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Java Code Generator feature 3.0.0-SNAPSHOT [79/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.javagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.platform[0;1m >-----------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.platform 3.0.0-SNAPSHOT [80/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.platform[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/platform/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------------< [0;36morg.overturetool.ide:features[0;1m >--------------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse features 3.0.0-SNAPSHOT [81/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mfeatures[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.features:org.overture.ide.features.core[0;1m >----[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse core feature 3.0.0-SNAPSHOT [82/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.features.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/features/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.features:org.overture.ide.features.rcp[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse rcp feature 3.0.0-SNAPSHOT [83/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.features.rcp[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/features/rcp/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.product[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Standalone Product 3.0.0-SNAPSHOT [84/84][m
[[1;34mINFO[m] [1m-------------------------[ eclipse-repository ]-------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.product[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/product/target
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] [1mReactor Summary for The Overture Tool Platform root 3.0.0-SNAPSHOT:[m
[[1;34mINFO[m]
[[1;34mINFO[m] The Overture Tool Platform root .................... [1;32mSUCCESS[m [ 0.131 s]
[[1;34mINFO[m] Overture External Resources ........................ [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Core Tools ......................................... [1;32mSUCCESS[m [ 0.044 s]
[[1;34mINFO[m] The Overture Abstract Syntax Tree .................. [1;32mSUCCESS[m [ 0.062 s]
[[1;34mINFO[m] Test Framework for Overture ........................ [1;32mSUCCESS[m [ 0.011 s]
[[1;34mINFO[m] The VDM parser ..................................... [1;32mSUCCESS[m [ 0.045 s]
[[1;34mINFO[m] The VDM Type Checker ............................... [1;32mSUCCESS[m [ 0.191 s]
[[1;34mINFO[m] Overture Testing ................................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] Overture Testing Framework ......................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Overture Sample Tests .............................. [1;32mSUCCESS[m [ 0.229 s]
[[1;34mINFO[m] VDM Pretty Printing ................................ [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] The VDM Pretty Printer ............................. [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] The Proof Obligation Generator ..................... [1;32mSUCCESS[m [ 0.057 s]
[[1;34mINFO[m] The VDM Interpreter ................................ [1;32mSUCCESS[m [ 0.233 s]
[[1;34mINFO[m] Combinatorial Testing .............................. [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] Combinatorial Testing Utilities .................... [1;32mSUCCESS[m [ 0.008 s]
[[1;34mINFO[m] Combinatorial Testing Runtime ...................... [1;32mSUCCESS[m [ 0.033 s]
[[1;34mINFO[m] New Pretty Printer ................................. [1;32mSUCCESS[m [ 0.015 s]
[[1;34mINFO[m] Overture Core Command Line Tool .................... [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] Code Generation .................................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] The Intermediate Representation Tree ............... [1;32mSUCCESS[m [ 0.047 s]
[[1;34mINFO[m] The Code Generation Platform ....................... [1;32mSUCCESS[m [ 0.067 s]
[[1;34mINFO[m] The Java Code Generator Runtime .................... [1;32mSUCCESS[m [ 0.049 s]
[[1;34mINFO[m] The Java Code Generator Testing .................... [1;32mSUCCESS[m [ 0.013 s]
[[1;34mINFO[m] The Java Code Generator ............................ [1;32mSUCCESS[m [ 0.376 s]
[[1;34mINFO[m] The VDM to JML Generator Runtime ................... [1;32mSUCCESS[m [ 0.008 s]
[[1;34mINFO[m] The VDM to JML Generator ........................... [1;32mSUCCESS[m [ 0.117 s]
[[1;34mINFO[m] The Java Code Generator Maven Plugin ............... [1;32mSUCCESS[m [ 0.031 s]
[[1;34mINFO[m] The VDM to Isabelle Translator ..................... [1;32mSUCCESS[m [ 0.033 s]
[[1;34mINFO[m] POG - Isagen Integration ........................... [1;32mSUCCESS[m [ 0.010 s]
[[1;34mINFO[m] VDM Annotations .................................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] Provided Annotations ............................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Annotation Examples ................................ [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Documentation ...................................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] The Overture release notes ......................... [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] Overture IDE Top-level ............................. [1;32mSUCCESS[m [ 0.041 s]
[[1;34mINFO[m] org.overture.ide.core .............................. [1;32mSUCCESS[m [ 0.017 s]
[[1;34mINFO[m] org.overture.ide.ui ................................ [1;32mSUCCESS[m [ 0.018 s]
[[1;34mINFO[m] Overture IDE Parsers ............................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.parsers.vdmj ...................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] Overture IDE Builders .............................. [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.builders.vdmj ..................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] org.overture.ide.debug ............................. [1;32mSUCCESS[m [ 0.032 s]
[[1;34mINFO[m] Overture IDE VDM-SL top level ...................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.vdmsl.core ........................ [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.vdmsl.ui .......................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] org.overture.ide.vdmsl.debug ....................... [1;32mSUCCESS[m [ 0.042 s]
[[1;34mINFO[m] Overture IDE VDM-PP Top-level ...................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.vdmpp.core ........................ [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.vdmpp.ui .......................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] org.overture.ide.vdmpp.debug ....................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] Overture IDE VDM-RT (RealTime) Top-level ........... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] org.overture.ide.vdmrt.core ........................ [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.vdmrt.ui .......................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.vdmrt.debug ....................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.help .............................. [1;32mSUCCESS[m [ 0.099 s]
[[1;34mINFO[m] Overture IDE core plugins GUI ...................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.plugins.coverageeditor ............ [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.plugins.csk ....................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.plugins.quickinterpreter .......... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.plugins.externaleditor ............ [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.plugins.latex ..................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] org.overture.ide.plugins.poviewer .................. [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] Combinatorial Testing .............................. [1;32mSUCCESS[m [ 0.009 s]
[[1;34mINFO[m] Developer Utilities for Overture ................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] UML2 Translator .................................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] RT Trace Viewer Plugin ............................. [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] The Java Code Generator Plugin ..................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Overture IDE Eclipse plugin features ............... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse Coverage Editor feature ....... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse CSK VDM Tools Link feature .... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse Combinatorial Testing feature . [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse Developer Utilities feature ... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse LaTeX Creator feature ......... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse Proof Obligation Viewer feature [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse VDM Quick Interpreter feature . [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse plugin uml2 feature ........... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse Realtime Trace Viewer feature . [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse Java Code Generator feature ... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.platform .......................... [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] Overture IDE Eclipse features ...................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse core feature .................. [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse rcp feature ................... [1;32mSUCCESS[m [ 0.015 s]
[[1;34mINFO[m] Overture IDE Standalone Product .................... [1;32mSUCCESS[m [ 0.500 s]
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] [1;32mBUILD SUCCESS[m
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] Total time: 4.574 s
[[1;34mINFO[m] Finished at: 2020-08-28T10:31:23+02:00
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@150d2a0[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=214427,milestones={},language=Java,commits={},source=<null>,parent=<null>,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, Deprecation, Sunset], 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=[Fri, 28 Aug 2020 08:31:24 GMT], ETag=[W/"98539c7ebab90d199c014a135587898f"], Last-Modified=[Fri, 28 Aug 2020 08:31:15 GMT], OkHttp-Received-Millis=[1598603484252], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1598603484048], 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, Accept, X-Requested-With, 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=[C700:5E44:29F625C:32D68BB:5F48C0DB], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1598607084], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:1ddce8d) with context:overture-development
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/1ddce8d1eacadd128ab989e1ac57305a9d910bca
Parsing POMs
Modules changed, recalculating dependency graph
Established TCP socket on 43215
[overture-development] $ 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-4.2.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 43215
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
<===[JENKINS REMOTING CAPACITY]===>