FailedConsole Output

Skipping 1,353 KB.. Full Log
eleases/2019-12/201912181000/features/ (19.1kB)
[INFO] Fetching org.eclipse.rcp_4.14.0.v20191210-0610.jar from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/features/ (19.1kB)
[INFO] Fetching org.eclipse.rcp_root_4.14.0.v20191210-0610 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (25.54kB)
[INFO] Fetching org.eclipse.rcp_root_4.14.0.v20191210-0610 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (25.54kB)
[INFO] Fetching org.eclipse.core.filesystem.linux.x86_64_1.2.300.v20180828-0158.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (11.32kB)
[INFO] Fetching org.eclipse.core.filesystem.linux.x86_64_1.2.300.v20180828-0158.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (11.32kB)
[INFO] Fetching org.eclipse.core.net.linux.x86_64_1.2.400.v20190924-1023.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (93.41kB)
[INFO] Fetching org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (69.13kB)
[INFO] Fetching org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (69.13kB)
[INFO] Fetching org.eclipse.e4.ui.swt.gtk_1.0.600.v20190627-0755.jar.pack.gz from https://ftp.acc.umu.se/mirror/eclipse.org/releases/2019-12/201912181000/plugins/ (8kB)
[INFO] Fetching org.eclipse.e4.ui.swt.gtk_1.0.600.v20190627-0755.jar.pack.gz from https://ftp.acc.umu.se/mirror/eclipse.org/releases/2019-12/201912181000/plugins/ (8kB)
[INFO] Fetching org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (12.67kB)
[INFO] Fetching org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (12.67kB)
[INFO] Fetching org.eclipse.core.filesystem.macosx_1.3.200.v20190903-0945.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (15.18kB)
[INFO] Fetching org.eclipse.core.filesystem.macosx_1.3.200.v20190903-0945.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (15.18kB)
[INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt.cocoa_0.12.400.v20190926-0808.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (16.41kB)
[INFO] Fetching org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (39.44kB)
[INFO] Fetching org.eclipse.equinox.security.macosx_1.101.200.v20190903-0934.jar.pack.gz from http://ftp.linux.org.tr/eclipse//releases/2019-12/201912181000/plugins/ (24.56kB)
[INFO] Fetching org.eclipse.equinox.security.macosx_1.101.200.v20190903-0934.jar.pack.gz from http://ftp.linux.org.tr/eclipse//releases/2019-12/201912181000/plugins/ (24.56kB)
[INFO] Fetching org.eclipse.ui.cocoa_1.2.300.v20190926-0808.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (7.62kB)
[INFO] Fetching org.eclipse.ui.cocoa_1.2.300.v20190926-0808.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (7.62kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:2.7.5-SNAPSHOT @ /var/lib/jenkins/workspace/overturetool_ncb_development/ide/features/rcp/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.product:2.7.5-SNAPSHOT @ /var/lib/jenkins/workspace/overturetool_ncb_development/ide/product/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.product:2.7.5-SNAPSHOT @ /var/lib/jenkins/workspace/overturetool_ncb_development/ide/product/pom.xml
[INFO] Fetching org.eclipse.equinox.executable_3.8.600.v20191014-2025.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (247.68kB)
[INFO] Fetching org.eclipse.equinox.executable_root.win32.win32.x86_64_3.8.600.v20191014-2025 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (150.98kB)
[INFO] Fetching org.eclipse.equinox.executable_root.win32.win32.x86_64_3.8.600.v20191014-2025 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (150.98kB)
[INFO] Fetching org.eclipse.equinox.executable_root.gtk.linux.x86_64_3.8.600.v20191014-2025 from https://ftp.acc.umu.se/mirror/eclipse.org/releases/2019-12/201912181000/binary/ (25.82kB)
[INFO] Fetching org.eclipse.equinox.executable_root.gtk.linux.x86_64_3.8.600.v20191014-2025 from https://ftp.acc.umu.se/mirror/eclipse.org/releases/2019-12/201912181000/binary/ (25.82kB)
[INFO] Fetching org.eclipse.equinox.executable_root.cocoa.macosx.x86_64_3.8.600.v20191014-2025 from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/binary/ (17.06kB)
[INFO] Fetching org.eclipse.equinox.executable_root.cocoa.macosx.x86_64_3.8.600.v20191014-2025 from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/binary/ (17.06kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.product:2.7.5-SNAPSHOT @ /var/lib/jenkins/workspace/overturetool_ncb_development/ide/product/pom.xml
[WARNING] The project org.overturetool:root:pom:2.7.5-SNAPSHOT uses prerequisites which is only intended for maven-plugin projects but not for non maven-plugin projects. For such purposes you should use the maven-enforcer-plugin. See https://maven.apache.org/enforcer/enforcer-rules/requireMavenVersion.html
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO] 
[INFO] The Overture Tool Platform root                                    [pom]
[INFO] Overture External Resources                                        [jar]
[INFO] Core Tools                                                         [pom]
[INFO] The Overture Abstract Syntax Tree                                  [jar]
[INFO] Test Framework for Overture                                        [jar]
[INFO] The VDM parser                                                     [jar]
[INFO] The VDM Type Checker                                               [jar]
[INFO] Overture Testing                                                   [pom]
[INFO] Overture Testing Framework                                         [jar]
[INFO] Overture Sample Tests                                              [jar]
[INFO] VDM Pretty Printing                                                [pom]
[INFO] The VDM Pretty Printer                                             [jar]
[INFO] The Proof Obligation Generator                                     [jar]
[INFO] The VDM Interpreter                                                [jar]
[INFO] Combinatorial Testing                                              [pom]
[INFO] Combinatorial Testing Utilities                                    [jar]
[INFO] Combinatorial Testing Runtime                                      [jar]
[INFO] New Pretty Printer                                                 [jar]
[INFO] Overture Core Command Line Tool                                    [jar]
[INFO] Code Generation                                                    [pom]
[INFO] The Intermediate Representation Tree                               [jar]
[INFO] The Code Generation Platform                                       [jar]
[INFO] The Java Code Generator Runtime                                    [jar]
[INFO] The Java Code Generator Testing                                    [jar]
[INFO] The Java Code Generator                                            [jar]
[INFO] The VDM to JML Generator Runtime                                   [jar]
[INFO] The VDM to JML Generator                                           [jar]
[INFO] The Java Code Generator Maven Plugin                      [maven-plugin]
[INFO] The VDM to Isabelle Translator                                     [jar]
[INFO] POG - Isagen Integration                                           [jar]
[INFO] VDM Annotations                                                    [pom]
[INFO] Provided Annotations                                               [jar]
[INFO] Annotation Examples                                                [jar]
[INFO] Documentation                                                      [pom]
[INFO] The Overture release notes                                         [jar]
[INFO] Overture IDE Top-level                                             [pom]
[INFO] org.overture.ide.core                                   [eclipse-plugin]
[INFO] Overture IDE Builders                                              [pom]
[INFO] org.overture.ide.builders.vdmj                          [eclipse-plugin]
[INFO] org.overture.ide.ui                                     [eclipse-plugin]
[INFO] Overture IDE Parsers                                               [pom]
[INFO] org.overture.ide.parsers.vdmj                           [eclipse-plugin]
[INFO] org.overture.ide.debug                                  [eclipse-plugin]
[INFO] Overture IDE VDM-SL top level                                      [pom]
[INFO] org.overture.ide.vdmsl.core                             [eclipse-plugin]
[INFO] org.overture.ide.vdmsl.ui                               [eclipse-plugin]
[INFO] org.overture.ide.vdmsl.debug                            [eclipse-plugin]
[INFO] Overture IDE VDM-PP Top-level                                      [pom]
[INFO] org.overture.ide.vdmpp.core                             [eclipse-plugin]
[INFO] org.overture.ide.vdmpp.ui                               [eclipse-plugin]
[INFO] org.overture.ide.vdmpp.debug                            [eclipse-plugin]
[INFO] Overture IDE VDM-RT (RealTime) Top-level                           [pom]
[INFO] org.overture.ide.vdmrt.core                             [eclipse-plugin]
[INFO] org.overture.ide.vdmrt.ui                               [eclipse-plugin]
[INFO] org.overture.ide.vdmrt.debug                            [eclipse-plugin]
[INFO] org.overture.ide.help                                   [eclipse-plugin]
[INFO] Overture IDE core plugins GUI                                      [pom]
[INFO] org.overture.ide.plugins.externaleditor                 [eclipse-plugin]
[INFO] org.overture.ide.plugins.coverageeditor                 [eclipse-plugin]
[INFO] org.overture.ide.plugins.csk                            [eclipse-plugin]
[INFO] org.overture.ide.plugins.quickinterpreter               [eclipse-plugin]
[INFO] org.overture.ide.plugins.latex                          [eclipse-plugin]
[INFO] org.overture.ide.plugins.poviewer                       [eclipse-plugin]
[INFO] Combinatorial Testing                                   [eclipse-plugin]
[INFO] Developer Utilities for Overture                        [eclipse-plugin]
[INFO] UML2 Translator                                         [eclipse-plugin]
[INFO] RT Trace Viewer Plugin                                  [eclipse-plugin]
[INFO] The Java Code Generator Plugin                          [eclipse-plugin]
[INFO] Overture IDE Eclipse plugin features                               [pom]
[INFO] org.overture.ide.platform                               [eclipse-plugin]
[INFO] Overture IDE Eclipse features                                      [pom]
[INFO] Overture IDE Eclipse core feature                      [eclipse-feature]
[INFO] Overture IDE Eclipse Coverage Editor feature           [eclipse-feature]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature        [eclipse-feature]
[INFO] Overture IDE Eclipse Combinatorial Testing feature     [eclipse-feature]
[INFO] Overture IDE Eclipse Developer Utilities feature       [eclipse-feature]
[INFO] Overture IDE Eclipse LaTeX Creator feature             [eclipse-feature]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature   [eclipse-feature]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature     [eclipse-feature]
[INFO] Overture IDE Eclipse plugin uml2 feature               [eclipse-feature]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature     [eclipse-feature]
[INFO] Overture IDE Eclipse Java Code Generator feature       [eclipse-feature]
[INFO] Overture IDE Eclipse rcp feature                       [eclipse-feature]
[INFO] Overture IDE Standalone Product                     [eclipse-repository]
[INFO] 
[INFO] -----------------------< org.overturetool:root >------------------------
[INFO] Building The Overture Tool Platform root 2.7.5-SNAPSHOT           [1/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_development/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ root ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/2.0.6/maven-plugin-api-2.0.6.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/2.0.6/maven-plugin-api-2.0.6.jar (13 kB at 338 kB/s)
[INFO] 0 archive(s) processed
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ root ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.pom (4.0 kB at 202 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.jar (155 kB at 4.1 MB/s)
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/pom.xml to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/root/2.7.5-SNAPSHOT/root-2.7.5-SNAPSHOT.pom
[INFO] 
[INFO] ---------------------< org.overturetool:externals >---------------------
[INFO] Building Overture External Resources 2.7.5-SNAPSHOT               [2/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ externals ---
[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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ externals ---
[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/overturetool_ncb_development/externals/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ externals ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ externals ---
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/externals/target/externals-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/externals/pom.xml to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.pom
[INFO] 
[INFO] -----------------------< org.overturetool:core >------------------------
[INFO] Building Core Tools 2.7.5-SNAPSHOT                                [3/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ core ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_development/core/pom.xml to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/2.7.5-SNAPSHOT/core-2.7.5-SNAPSHOT.pom
[INFO] 
[INFO] ---------------------< org.overturetool.core:ast >----------------------
[INFO] Building The Overture Abstract Syntax Tree 2.7.5-SNAPSHOT         [4/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ast ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ast ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_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] All up to date
[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ast ---
[INFO] Source directory: /var/lib/jenkins/workspace/overturetool_ncb_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] Nothing to compile - all classes are up to date
[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/overturetool_ncb_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.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ast ---
[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/overturetool_ncb_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] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_development/core/ast/target/ast-2.7.5-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/overturetool_ncb_development/core/ast/target/ast-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/pom.xml to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/ast-2.7.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ----------------< org.overturetool.core:testframework >-----------------
[INFO] Building Test Framework for Overture 2.7.5-SNAPSHOT               [5/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testframework ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testframework ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_development/core/testframework/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ testframework ---
[INFO] Nothing to compile - all classes are up to date
[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/overturetool_ncb_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.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ testframework ---
[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/overturetool_ncb_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] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_development/core/testframework/target/testframework-2.7.5-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/overturetool_ncb_development/core/testframework/target/testframework-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/pom.xml to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/testframework-2.7.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --------------------< org.overturetool.core:parser >--------------------
[INFO] Building The VDM parser 2.7.5-SNAPSHOT                            [6/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ parser ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ parser ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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/overturetool_ncb_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] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ parser ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3" 
Running org.overture.parser.tests.SpecificationSlTestSuite
Tests run: 41, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.615 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 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.587 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

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ parser ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/parser-2.7.5-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 ---
[INFO] 
56 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:202: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:203: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:204: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:205: warning: no description for @throws
[WARNING] * @throws IOException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:292: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:76: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:251: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:110: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:111: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:141: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:142: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:143: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:144: warning: no description for @param
[WARNING] * @param streamReaderType
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:652: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:1219: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:223: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:224: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:225: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:240: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:241: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:242: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:243: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:244: warning: no description for @param
[WARNING] * @param streamReaderType
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:259: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:260: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:261: warning: no description for @param
[WARNING] * @param location
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for content
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for location
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for reader
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:118: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected LexToken nextToken() throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:130: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected LexToken lastToken() throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:140: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:154: warning: no description for @param
[WARNING] * @param module
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:191: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:194: warning: no @throws for org.overture.parser.syntax.ParserException
[WARNING] protected LexIdentifierToken lastIdToken() throws ParserException,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:220: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:221: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:261: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:262: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:310: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:311: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:532: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:533: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:554: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:576: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:577: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:595: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:610: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:613: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected void throwMessage(int number, String message, int depth)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for no
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for msg
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for location
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:757: warning: no description for @param
[WARNING] * @param out
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:818: warning: no @param for reader
[WARNING] protected void beforeAnnotations(SyntaxReader reader, List<PAnnotation> annotations)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:818: warning: no @param for annotations
[WARNING] protected void beforeAnnotations(SyntaxReader reader, List<PAnnotation> annotations)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:100: warning: no @param for reader
[WARNING] protected SyntaxReader(LexTokenReader reader)
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/parser-2.7.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ parser ---
[INFO] Disabled
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ parser ---
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/parser-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/pom.xml to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/parser-2.7.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -----------------< org.overturetool.core:typechecker >------------------
[INFO] Building The VDM Type Checker 2.7.5-SNAPSHOT                      [7/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_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/overturetool_ncb_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/**/*
[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/overturetool_ncb_development/core/typechecker/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3" 
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Tests run: 74, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.315 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
test[extension-13.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest)  Time elapsed: 0.027 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "extension-13.vpp.result"

Missing Warning:    5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error:      3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope


test[extension-12.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest)  Time elapsed: 0.014 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "extension-12.vpp.result"

Missing Warning:    5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error:      3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation


test[extension-01.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest)  Time elapsed: 0.008 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "extension-01.vpp.result"

Unexpected Error:   2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error:      3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types


Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.433 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Tests run: 1216, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 5.044 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
test[letexpr-23.vdm](org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest)  Time elapsed: 0.004 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "letexpr-23.vdm.result"

Missing Warning:    5000 letexpr-23.vdm at 24:26 Definition 'c' not used
Missing Warning:    5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used
Missing Warning:    5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used
Missing Warning:    5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used
Missing Warning:    5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used
Unexpected Error:   2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix
Missing Error:      3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered


Running org.overture.typechecker.tests.ClassesRtTypeCheckTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.58 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest
Running org.overture.typechecker.tests.ClassesPpTypeCheckTest
Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.888 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest
Running org.overture.typechecker.tests.ModulesSlTypeCheckTest
Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.596 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest

Results :

Failed tests: 
  ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-01.vpp.result"

Unexpected Error:   2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error:      3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types

  ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-12.vpp.result"

Missing Warning:    5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error:      3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation

  ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-13.vpp.result"

Missing Warning:    5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error:      3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope

  ExternalModulesSlTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "letexpr-23.vdm.result"

Missing Warning:    5000 letexpr-23.vdm at 24:26 Definition 'c' not used
Missing Warning:    5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used
Missing Warning:    5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used
Missing Warning:    5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used
Missing Warning:    5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used
Unexpected Error:   2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix
Missing Error:      3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered


Tests run: 1906, Failures: 4, Errors: 0, Skipped: 0

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 2.7.5-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  0.882 s]
[INFO] Overture External Resources ........................ SUCCESS [  2.937 s]
[INFO] Core Tools ......................................... SUCCESS [  0.404 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  1.981 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  1.968 s]
[INFO] The VDM parser ..................................... SUCCESS [  8.553 s]
[INFO] The VDM Type Checker ............................... FAILURE [ 16.564 s]
[INFO] Overture Testing ................................... SKIPPED
[INFO] Overture Testing Framework ......................... SKIPPED
[INFO] Overture Sample Tests .............................. SKIPPED
[INFO] VDM Pretty Printing ................................ SKIPPED
[INFO] The VDM Pretty Printer ............................. SKIPPED
[INFO] The Proof Obligation Generator ..................... SKIPPED
[INFO] The VDM Interpreter ................................ SKIPPED
[INFO] Combinatorial Testing .............................. SKIPPED
[INFO] Combinatorial Testing Utilities .................... SKIPPED
[INFO] Combinatorial Testing Runtime ...................... SKIPPED
[INFO] New Pretty Printer ................................. SKIPPED
[INFO] Overture Core Command Line Tool .................... SKIPPED
[INFO] Code Generation .................................... SKIPPED
[INFO] The Intermediate Representation Tree ............... SKIPPED
[INFO] The Code Generation Platform ....................... SKIPPED
[INFO] The Java Code Generator Runtime .................... SKIPPED
[INFO] The Java Code Generator Testing .................... SKIPPED
[INFO] The Java Code Generator ............................ SKIPPED
[INFO] The VDM to JML Generator Runtime ................... SKIPPED
[INFO] The VDM to JML Generator ........................... SKIPPED
[INFO] The Java Code Generator Maven Plugin ............... SKIPPED
[INFO] The VDM to Isabelle Translator ..................... SKIPPED
[INFO] POG - Isagen Integration ........................... SKIPPED
[INFO] VDM Annotations .................................... SKIPPED
[INFO] Provided Annotations ............................... SKIPPED
[INFO] Annotation Examples ................................ SKIPPED
[INFO] Documentation ...................................... SKIPPED
[INFO] The Overture release notes ......................... SKIPPED
[INFO] Overture IDE Top-level ............................. SKIPPED
[INFO] org.overture.ide.core .............................. SKIPPED
[INFO] Overture IDE Builders .............................. SKIPPED
[INFO] org.overture.ide.builders.vdmj ..................... SKIPPED
[INFO] org.overture.ide.ui ................................ SKIPPED
[INFO] Overture IDE Parsers ............................... SKIPPED
[INFO] org.overture.ide.parsers.vdmj ...................... SKIPPED
[INFO] org.overture.ide.debug ............................. SKIPPED
[INFO] Overture IDE VDM-SL top level ...................... SKIPPED
[INFO] org.overture.ide.vdmsl.core ........................ SKIPPED
[INFO] org.overture.ide.vdmsl.ui .......................... SKIPPED
[INFO] org.overture.ide.vdmsl.debug ....................... SKIPPED
[INFO] Overture IDE VDM-PP Top-level ...................... SKIPPED
[INFO] org.overture.ide.vdmpp.core ........................ SKIPPED
[INFO] org.overture.ide.vdmpp.ui .......................... SKIPPED
[INFO] org.overture.ide.vdmpp.debug ....................... SKIPPED
[INFO] Overture IDE VDM-RT (RealTime) Top-level ........... SKIPPED
[INFO] org.overture.ide.vdmrt.core ........................ SKIPPED
[INFO] org.overture.ide.vdmrt.ui .......................... SKIPPED
[INFO] org.overture.ide.vdmrt.debug ....................... SKIPPED
[INFO] org.overture.ide.help .............................. SKIPPED
[INFO] Overture IDE core plugins GUI ...................... SKIPPED
[INFO] org.overture.ide.plugins.externaleditor ............ SKIPPED
[INFO] org.overture.ide.plugins.coverageeditor ............ SKIPPED
[INFO] org.overture.ide.plugins.csk ....................... SKIPPED
[INFO] org.overture.ide.plugins.quickinterpreter .......... SKIPPED
[INFO] org.overture.ide.plugins.latex ..................... SKIPPED
[INFO] org.overture.ide.plugins.poviewer .................. SKIPPED
[INFO] Combinatorial Testing .............................. SKIPPED
[INFO] Developer Utilities for Overture ................... SKIPPED
[INFO] UML2 Translator .................................... SKIPPED
[INFO] RT Trace Viewer Plugin ............................. SKIPPED
[INFO] The Java Code Generator Plugin ..................... SKIPPED
[INFO] Overture IDE Eclipse plugin features ............... SKIPPED
[INFO] org.overture.ide.platform .......................... SKIPPED
[INFO] Overture IDE Eclipse features ...................... SKIPPED
[INFO] Overture IDE Eclipse core feature .................. SKIPPED
[INFO] Overture IDE Eclipse Coverage Editor feature ....... SKIPPED
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature .... SKIPPED
[INFO] Overture IDE Eclipse Combinatorial Testing feature . SKIPPED
[INFO] Overture IDE Eclipse Developer Utilities feature ... SKIPPED
[INFO] Overture IDE Eclipse LaTeX Creator feature ......... SKIPPED
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature SKIPPED
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature . SKIPPED
[INFO] Overture IDE Eclipse plugin uml2 feature ........... SKIPPED
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature . SKIPPED
[INFO] Overture IDE Eclipse Java Code Generator feature ... SKIPPED
[INFO] Overture IDE Eclipse rcp feature ................... SKIPPED
[INFO] Overture IDE Standalone Product .................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  03:25 min
[INFO] Finished at: 2020-03-17T10:43:44+01:00
[INFO] ------------------------------------------------------------------------
[WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven62a5ceb3/maven-spy-20200317-104018-5822920084713626569681.log
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.19.1:test (default-test) on project typechecker: There are test failures.
[ERROR] 
[ERROR] Please refer to /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/surefire-reports for the individual test results.
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
[ERROR] 
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR]   mvn <goals> -rf :typechecker
[Pipeline] }
[withMaven] artifactsPublisher - Archive artifact pom.xml under org/overturetool/root/2.7.5-SNAPSHOT/root-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/pom.xml under org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/target/externals-2.7.5-SNAPSHOT.jar under org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pom.xml under org/overturetool/core/2.7.5-SNAPSHOT/core-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/pom.xml under org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-2.7.5-SNAPSHOT.jar under org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-2.7.5-SNAPSHOT-javadoc.jar under org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/pom.xml under org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.5-SNAPSHOT.jar under org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.5-SNAPSHOT-javadoc.jar under org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/pom.xml under org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.5-SNAPSHOT.jar under org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.5-SNAPSHOT-javadoc.jar under org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT-javadoc.jar
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool:externals:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): externals/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:ast:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/ast/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:testframework:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/testframework/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:parser:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/parser/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:typechecker:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/typechecker/target/surefire-reports/*.xml
[withMaven] junitPublisher - Jenkins JUnit Attachments Plugin not found, can't publish test attachments.Recording test results
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:root:pom:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: target/coverage-reports/jacoco-unit.exec, sources: src/main/java, classes: target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:externals:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: externals/target/coverage-reports/jacoco-unit.exec, sources: externals/src/main/java, classes: externals/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:core:pom:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/target/coverage-reports/jacoco-unit.exec, sources: core/src/main/java, classes: core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:ast:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/ast/target/coverage-reports/jacoco-unit.exec, sources: core/ast/src/main/java, classes: core/ast/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:testframework:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testframework/target/coverage-reports/jacoco-unit.exec, sources: core/testframework/src/main/java, classes: core/testframework/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:parser:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/parser/target/coverage-reports/jacoco-unit.exec, sources: core/parser/src/main/java, classes: core/parser/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:typechecker:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/typechecker/target/coverage-reports/jacoco-unit.exec, sources: core/typechecker/src/main/java, classes: core/typechecker/target/classes
[JaCoCo plugin] Collecting JaCoCo coverage data...
[JaCoCo plugin] target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec;target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes;src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java; locations are configured
[JaCoCo plugin] Number of found exec files for pattern target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec: 2
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/classes 155 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/externals/target/classes 0 files
[JaCoCo plugin] Saving matched source directories for source-pattern: src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/src/main/java 0 files
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: []
[JaCoCo plugin] Thresholds: JacocoHealthReportThresholds [minClass=0, maxClass=0, minMethod=0, maxMethod=0, minLine=0, maxLine=0, minBranch=0, maxBranch=0, minInstruction=0, maxInstruction=0, minComplexity=0, maxComplexity=0]
[JaCoCo plugin] Publishing the results..
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
[JaCoCo plugin] Overall coverage: class: 83, method: 44, line: 43, branch: 31, instruction: 42, complexity: 32
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool:root:pom:2.7.5-SNAPSHOT in source directory src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:ast:jar:2.7.5-SNAPSHOT in source directory core/ast/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:testframework:jar:2.7.5-SNAPSHOT in source directory core/testframework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:parser:jar:2.7.5-SNAPSHOT in source directory core/parser/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:typechecker:jar:2.7.5-SNAPSHOT in source directory core/typechecker/src/main/java
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overturetool_ncb_development' for files matching the pattern 'src/main/java/**/*,core/ast/src/main/java/**/*,core/testframework/src/main/java/**/*,core/parser/src/main/java/**/*,core/typechecker/src/main/java/**/*' - excludes: null
[TASKS] Found 262 files to scan for tasks
[TASKS] Found 97 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[TASKS] Computing warning deltas based on reference build #106
[withMaven] Publishers: Pipeline Graph Publisher: 12 ms, Generated Artifacts Publisher: 1140 ms, Junit Publisher: 798 ms, Dependencies Fingerprint Publisher: 123 ms, Jacoco Publisher: 2436 ms, Open Task Scanner Publisher: 495 ms
[Pipeline] // withMaven
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Clean up workspace)
[Pipeline] cleanWs
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Reporting)
[Pipeline] emailextrecipients
Not sending mail to user ncdmz\jasim with no permission to view overturetool » ncb/development #131Not sending mail to user nick.battle@gmail.com with no permission to view overturetool » ncb/development #131[Pipeline] emailext
Sending email to: hugodsmacedo@gmail.com
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

ERROR: script returned exit code 1
Finished: FAILURE