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]===> channel started
Executing Maven: -B -f /var/lib/jenkins/workspace/overture-development/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-development/.repository -s /var/lib/jenkins/internal-resources/settings.xml install -PWith-IDE -Pall-platforms -P!linux64 -DexternalTestsPath=/var/lib/jenkins/internal-resources/externaltests/ -P!ui-tests -Pforce-download-externals -Pcodesigning
[INFO] Scanning for projects...
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/
[INFO] Adding repository http://download.eclipse.org/releases/2019-12
[INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/2019-12/
[INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/2019-12/
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/201912181000/
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/201912181000/
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/ui/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/help/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/help/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/help/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/platform/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/platform/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/platform/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/rcp/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/rcp/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/rcp/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/product/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/product/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.0-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/product/pom.xml
[INFO] Initializing Artifactory Build-Info Recording
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO]
[INFO] The Overture Tool Platform root
[INFO] Overture External Resources
[INFO] Core Tools
[INFO] The Overture Abstract Syntax Tree
[INFO] Test Framework for Overture
[INFO] The VDM parser
[INFO] The VDM Type Checker
[INFO] Overture Testing
[INFO] Overture Testing Framework
[INFO] Overture Sample Tests
[INFO] VDM Pretty Printing
[INFO] The VDM Pretty Printer
[INFO] The Proof Obligation Generator
[INFO] The VDM Interpreter
[INFO] Combinatorial Testing
[INFO] Combinatorial Testing Utilities
[INFO] Combinatorial Testing Runtime
[INFO] New Pretty Printer
[INFO] Overture Core Command Line Tool
[INFO] Code Generation
[INFO] The Intermediate Representation Tree
[INFO] The Code Generation Platform
[INFO] The Java Code Generator Runtime
[INFO] The Java Code Generator Testing
[INFO] The Java Code Generator
[INFO] The VDM to JML Generator Runtime
[INFO] The VDM to JML Generator
[INFO] The Java Code Generator Maven Plugin
[INFO] The VDM to Isabelle Translator
[INFO] POG - Isagen Integration
[INFO] VDM Annotations
[INFO] Provided Annotations
[INFO] Annotation Examples
[INFO] Documentation
[INFO] The Overture release notes
[INFO] Overture IDE Top-level
[INFO] org.overture.ide.core
[INFO] Overture IDE Builders
[INFO] org.overture.ide.builders.vdmj
[INFO] org.overture.ide.ui
[INFO] Overture IDE Parsers
[INFO] org.overture.ide.parsers.vdmj
[INFO] org.overture.ide.debug
[INFO] Overture IDE VDM-SL top level
[INFO] org.overture.ide.vdmsl.core
[INFO] org.overture.ide.vdmsl.ui
[INFO] org.overture.ide.vdmsl.debug
[INFO] Overture IDE VDM-PP Top-level
[INFO] org.overture.ide.vdmpp.core
[INFO] org.overture.ide.vdmpp.ui
[INFO] org.overture.ide.vdmpp.debug
[INFO] Overture IDE VDM-RT (RealTime) Top-level
[INFO] org.overture.ide.vdmrt.core
[INFO] org.overture.ide.vdmrt.ui
[INFO] org.overture.ide.vdmrt.debug
[INFO] org.overture.ide.help
[INFO] Overture IDE core plugins GUI
[INFO] org.overture.ide.plugins.externaleditor
[INFO] org.overture.ide.plugins.coverageeditor
[INFO] org.overture.ide.plugins.csk
[INFO] org.overture.ide.plugins.quickinterpreter
[INFO] org.overture.ide.plugins.latex
[INFO] org.overture.ide.plugins.poviewer
[INFO] Combinatorial Testing
[INFO] Developer Utilities for Overture
[INFO] UML2 Translator
[INFO] RT Trace Viewer Plugin
[INFO] The Java Code Generator Plugin
[INFO] org.overture.ide.platform
[INFO] Overture IDE Eclipse features
[INFO] Overture IDE Eclipse core feature
[INFO] Overture IDE Eclipse plugin features
[INFO] Overture IDE Eclipse Coverage Editor feature
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature
[INFO] Overture IDE Eclipse Combinatorial Testing feature
[INFO] Overture IDE Eclipse Developer Utilities feature
[INFO] Overture IDE Eclipse LaTeX Creator feature
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature
[INFO] Overture IDE Eclipse plugin uml2 feature
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature
[INFO] Overture IDE Eclipse Java Code Generator feature
[INFO] Overture IDE Eclipse rcp feature
[INFO] Overture IDE Standalone Product
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture Tool Platform root 3.0.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root ---
[WARNING] Attempt to (de-)serialize anonymous class hudson.plugins.analysis.core.HealthAwareReporter$2; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
[WARNING] Attempt to (de-)serialize anonymous class hudson.plugins.analysis.core.HealthAwareReporter$3; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development' for files matching the pattern '**/*.java' - excludes: externals/**/*, core/**/*, documentation/**/*, ide/**/*
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[WARNING] Attempt to (de-)serialize anonymous class hudson.plugins.analysis.core.HealthAwareReporter$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
[TASKS] Computing warning deltas based on reference build #267
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/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) @ root ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ root ---
[INFO] 0 archive(s) processed
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ root ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/root/3.0.0-SNAPSHOT/root-3.0.0-SNAPSHOT.pom
[WARNING] Attempt to (de-)serialize anonymous class org.jfrog.hudson.maven2.MavenDependenciesRecorder$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
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 1 second
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture External Resources 3.0.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ externals ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/externals' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 59 files to scan for tasks
Found 1 open tasks.
[TASKS] Computing warning deltas based on reference build #267
[INFO]
[INFO] --- maven-resources-plugin:2.7:copy-resources (copy-resources01) @ externals ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ externals ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/externals/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) @ externals ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/externals/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ externals ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-antrun-plugin:1.8:run (update-docs) @ externals ---
[INFO] Executing tasks
main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ externals ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/externals/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ externals ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ externals ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ externals ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/externals/target/externals-3.0.0-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ externals ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/externals/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ externals ---
[INFO] 1 archive(s) processed
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ externals ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/externals/target/externals-3.0.0-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/externals/3.0.0-SNAPSHOT/externals-3.0.0-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/externals/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/externals/3.0.0-SNAPSHOT/externals-3.0.0-SNAPSHOT.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] ------------------------------------------------------------------------
[INFO] Building Core Tools 3.0.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ core ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core' for files matching the pattern '**/*.java' - excludes: ast/**/*, parser/**/*, typechecker/**/*, testing/**/*, interpreter/**/*, pog/**/*, testframework/**/*, combinatorialtesting/**/*, prettyprinting/**/*, commandline/**/*, codegen/**/*, isapog/**/*, annotations/**/*
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #267
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ core ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/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) @ core ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ core ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ core ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ core ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/3.0.0-SNAPSHOT/core-3.0.0-SNAPSHOT.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] ------------------------------------------------------------------------
[INFO] Building The Overture Abstract Syntax Tree 3.0.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ast ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/ast' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 71 files to scan for tasks
Found 33 open tasks.
[TASKS] Computing warning deltas based on reference build #267
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ast ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/ast/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] --- astcreator-plugin:1.6.10:generate (java) @ ast ---
[INFO] Preparing for tree generation...
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-development/core/ast/src/main/resources/overtureII.astv2
Adding aspect fields: PExpBase.{type,location,comments}
Adding aspect fields: SUnaryExpBase.{exp}
Adding aspect fields: SBinaryExpBase.{left,op,right}
Adding aspect fields: SSetExpBase.{setType}
Adding aspect fields: PTypeBase.{location,resolved,definitions}
Adding aspect fields: SSeqTypeBase.{seqof,empty}
Adding aspect fields: SSetTypeBase.{setof,empty,infinite}
Adding aspect fields: SMapTypeBase.{from,to,empty}
Adding aspect fields: SInvariantTypeBase.{inNarrower,opaque,invDef,eqDef,ordDef}
Adding aspect fields: PPatternBase.{location,definitions,resolved}
Adding aspect fields: PPairBase.{resolved}
Adding aspect fields: PBindBase.{location,pattern}
Adding aspect fields: PMultipleBindBase.{location,plist}
Adding aspect fields: PDefinitionBase.{location,name,nameScope,used,classDefinition,access,type,pass,comments,annotations}
Adding aspect fields: SFunctionDefinitionBase.{typeParams,body,precondition,postcondition,measure,measureDef,measureName,predef,postdef,recursive,isUndefined,expectedResult,actualResult}
Adding aspect fields: SOperationDefinitionBase.{body,precondition,postcondition,predef,postdef,state,actualResult,isConstructor,possibleExceptions}
Adding aspect fields: PRelationBase.{location,lhsPattern,rhsPattern,relExp,relDef}
Adding aspect fields: PTraceDefinitionBase.{location}
Adding aspect fields: PTraceCoreDefinitionBase.{location}
Adding aspect fields: SClassDefinitionBase.{supertypes,supernames,definitions,allInheritedDefinitions,localInheritedDefinitions,hasContructors,settingHierarchy,superDefs,gettingInheritable,superInheritedDefinitions,gettingInvDefs,isAbstract,isUndefined,classtype,typeChecked,invariant}
Adding aspect fields: PImportBase.{location,name,renamed,from}
Adding aspect fields: SValueImportBase.{importType}
Adding aspect fields: PExportBase.{location,definition}
Adding aspect fields: PStmBase.{location,type,comments}
Adding aspect fields: SSimpleBlockStmBase.{statements}
Adding aspect fields: PStateDesignatorBase.{location,type}
Adding aspect fields: PObjectDesignatorBase.{location}
Adding aspect fields: PAnnotationBase.{name,args,impl}
Retry Create interfaces - with 2 not yet created interfaces.
Done creating interfaces
WARNING: Field "_type" in class AExplicitFunctionDefinition with type "AFunctionType" specializes "PType"
WARNING: Field "_type" in class AImplicitFunctionDefinition with type "AFunctionType" specializes "PType"
Generating toString add on...
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Copying base classes to destination...
Writing source files.:
........................................................................
........................................................................
........................................................................
........................................................................
........................................................................
........................
File write completed in 7 secs
[INFO] Generator completed with 471 generated files.
[INFO]
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ast ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-development/core/ast/target/generated-sources/astCreator added.
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ast ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ast ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 464 source files to /var/lib/jenkins/workspace/overture-development/core/ast/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ast ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/ast/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ast ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ast ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ast ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/ast/target/ast-3.0.0-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ast ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/ast/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ast ---
[INFO]
1 warning
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/ast/src/main/java/org/overture/util/Base64.java:122: warning: no description for @throws
[WARNING] * @throws Exception
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/ast/target/ast-3.0.0-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ ast ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ast ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/ast/target/ast-3.0.0-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/ast/3.0.0-SNAPSHOT/ast-3.0.0-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/ast/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/ast/3.0.0-SNAPSHOT/ast-3.0.0-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/ast/target/ast-3.0.0-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/ast/3.0.0-SNAPSHOT/ast-3.0.0-SNAPSHOT-javadoc.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]
[INFO] ------------------------------------------------------------------------
[INFO] Building Test Framework for Overture 3.0.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testframework ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/testframework' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 16 files to scan for tasks
Found 4 open tasks.
[TASKS] Computing warning deltas based on reference build #267
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testframework ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/testframework/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) @ testframework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ testframework ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 16 source files to /var/lib/jenkins/workspace/overture-development/core/testframework/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ testframework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/testframework/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ testframework ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ testframework ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ testframework ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/testframework/target/testframework-3.0.0-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testframework ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/testframework/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testframework ---
[INFO]
20 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:67: warning: no description for @throws
[WARNING] * @throws IllegalArgumentException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:68: warning: no description for @throws
[WARNING] * @throws InstantiationException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:69: warning: no description for @throws
[WARNING] * @throws IllegalAccessException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:70: warning: no description for @throws
[WARNING] * @throws InvocationTargetException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:71: warning: no description for @throws
[WARNING] * @throws SecurityException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:72: warning: no description for @throws
[WARNING] * @throws NoSuchMethodException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:114: warning: no description for @throws
[WARNING] * @throws IllegalArgumentException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:115: warning: no description for @throws
[WARNING] * @throws InstantiationException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:116: warning: no description for @throws
[WARNING] * @throws IllegalAccessException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:117: warning: no description for @throws
[WARNING] * @throws InvocationTargetException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:118: warning: no description for @throws
[WARNING] * @throws SecurityException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:119: warning: no description for @throws
[WARNING] * @throws NoSuchMethodException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:244: warning: no description for @throws
[WARNING] * @throws IllegalArgumentException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:245: warning: no description for @throws
[WARNING] * @throws InstantiationException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:246: warning: no description for @throws
[WARNING] * @throws IllegalAccessException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:247: warning: no description for @throws
[WARNING] * @throws InvocationTargetException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:248: warning: no description for @throws
[WARNING] * @throws SecurityException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:249: warning: no description for @throws
[WARNING] * @throws NoSuchMethodException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:250: warning: no description for @throws
[WARNING] * @throws IOException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/testframework/src/main/java/org/overture/test/framework/ResultTestCase4.java:121: warning: no @param for out
[WARNING] protected abstract boolean assertEqualResults(R expected, R actual,
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/testframework/target/testframework-3.0.0-SNAPSHOT-javadoc.jar
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ testframework ---
[INFO] Disabled
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ testframework ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/testframework/target/testframework-3.0.0-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/testframework/3.0.0-SNAPSHOT/testframework-3.0.0-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/testframework/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/testframework/3.0.0-SNAPSHOT/testframework-3.0.0-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/testframework/target/testframework-3.0.0-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/testframework/3.0.0-SNAPSHOT/testframework-3.0.0-SNAPSHOT-javadoc.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]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM parser 3.0.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ parser ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/parser' for files matching the pattern '**/*.java' - excludes:
[TASKS] Found 49 files to scan for tasks
Found 2 open tasks.
[TASKS] Computing warning deltas based on reference build #267
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ parser ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/parser/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) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/parser/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 32 source files to /var/lib/jenkins/workspace/overture-development/core/parser/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 388 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 17 source files to /var/lib/jenkins/workspace/overture-development/core/parser/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ parser ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.parser.tests.SpecificationSlTestSuite
Tests run: 41, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.671 sec - in org.overture.parser.tests.SpecificationSlTestSuite
Running org.overture.parser.tests.PatternTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec - in org.overture.parser.tests.PatternTestSuite
Running org.overture.parser.tests.ExpressionTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.ExpressionTestSuite
Running org.overture.parser.tests.StatementTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.StatementTestSuite
Running org.overture.parser.tests.SpecificationRtTestSuite
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.625 sec - in org.overture.parser.tests.SpecificationRtTestSuite
Running org.overture.parser.tests.SpecificationPpTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.SpecificationPpTestSuite
Running org.overture.parser.tests.TypeTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.TypeTestSuite
Running org.overture.parser.tests.DefinitionTestSuite
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.013 sec - in org.overture.parser.tests.DefinitionTestSuite
Results :
Tests run: 56, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ parser ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.0-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ parser ---
[INFO] Analyzed bundle 'The VDM parser' with 43 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ parser ---
[ERROR] MavenReportException: Error while generating Javadoc: Unable to execute javadoc command: Error while executing external command, process killed.
org.apache.maven.reporting.MavenReportException: Unable to execute javadoc command: Error while executing external command, process killed.
at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeJavadocCommandLine(AbstractJavadocMojo.java:5173)
at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeReport(AbstractJavadocMojo.java:2075)
at org.apache.maven.plugin.javadoc.JavadocJar.execute(JavadocJar.java:188)
at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:106)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:208)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:84)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:59)
at org.apache.maven.lifecycle.internal.LifecycleStarter.singleThreadedBuild(LifecycleStarter.java:183)
at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:161)
at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:317)
at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:152)
at org.jvnet.hudson.maven3.launcher.Maven31Launcher.main(Maven31Launcher.java:132)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.codehaus.plexus.classworlds.launcher.Launcher.launchStandard(Launcher.java:330)
at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:238)
at jenkins.maven3.agent.Maven31Main.launch(Maven31Main.java:187)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at hudson.maven.Maven3Builder.call(Maven3Builder.java:139)
at hudson.maven.Maven3Builder.call(Maven3Builder.java:70)
at hudson.remoting.UserRequest.perform(UserRequest.java:211)
at hudson.remoting.UserRequest.perform(UserRequest.java:54)
at hudson.remoting.Request$2.run(Request.java:369)
at hudson.remoting.InterceptingExecutorService$1.call(InterceptingExecutorService.java:72)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
at java.lang.Thread.run(Thread.java:745)
Caused by: org.codehaus.plexus.util.cli.CommandLineTimeOutException: Error while executing external command, process killed.
at org.codehaus.plexus.util.cli.CommandLineUtils$1.call(CommandLineUtils.java:206)
at org.codehaus.plexus.util.cli.CommandLineUtils.executeCommandLine(CommandLineUtils.java:107)
at org.codehaus.plexus.util.cli.CommandLineUtils.executeCommandLine(CommandLineUtils.java:74)
at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeJavadocCommandLine(AbstractJavadocMojo.java:5123)
... 34 more
Caused by: java.lang.InterruptedException
at java.lang.Object.wait(Native Method)
at java.lang.Object.wait(Object.java:502)
at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395)
at org.codehaus.plexus.util.cli.CommandLineUtils$1.call(CommandLineUtils.java:166)
... 37 more
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.0-SNAPSHOT-javadoc.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 88 iota=114
[INFO]
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ parser ---
[INFO] Disabled
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 88 iota=114
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ parser ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.0-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/parser/3.0.0-SNAPSHOT/parser-3.0.0-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/parser/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/parser/3.0.0-SNAPSHOT/parser-3.0.0-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/parser/target/parser-3.0.0-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/parser/3.0.0-SNAPSHOT/parser-3.0.0-SNAPSHOT-javadoc.jar
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 88 iota=114
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 88 iota=114
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 39 iota=114
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM Type Checker 3.0.0-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 39 iota=114
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/typechecker/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/**/*
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 39 iota=114
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/resources
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 39 iota=114
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 138 source files to /var/lib/jenkins/workspace/overture-development/core/typechecker/target/classes
[INFO] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Some input files use unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Recompile with -Xlint:unchecked for details.
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 39 iota=114
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 39 iota=114
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-development/core/typechecker/target/test-classes
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 39 iota=114
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Tests run: 74, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.477 sec - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Build was aborted
Aborted by idhugoid
channel stopped
SSH: Current build result is [ABORTED], not going to run.
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@22d18983[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:33:13 GMT], ETag=[W/"39e1f406a67234132ff3bba42f572b84"], Last-Modified=[Fri, 28 Aug 2020 08:32:33 GMT], OkHttp-Received-Millis=[1598603593717], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1598603593513], 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=[C8F0:5E44:29F9864:32DAB1E:5F48C149], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4997], 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
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 1 second
Finished: ABORTED
![[Jenkins]](/jenkins/static/91315b4b/images/jenkins-header-logo-v2.svg){kind=logo}
