SuccessConsole Output

Skipping 462 KB.. Full Log
)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.pom (3.9 kB at 247 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.pom (14 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.pom (2.7 kB at 177 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/4/maven-shared-components-4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/4/maven-shared-components-4.pom (2.2 kB at 158 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-io/1.0/maven-shared-io-1.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-io/1.0/maven-shared-io-1.0.pom (3.0 kB at 216 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.2/plexus-utils-1.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.2/plexus-utils-1.2.pom (767 B at 51 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.5/plexus-1.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.5/plexus-1.0.5.pom (5.9 kB at 457 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.pom (6.2 kB at 413 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.18/plexus-utils-3.0.18.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.18/plexus-utils-3.0.18.pom (3.4 kB at 242 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.pom (3.8 kB at 293 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.pom (4.6 kB at 350 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.22/plexus-interpolation-1.22.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.1/plexus-archiver-3.0.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.jar (49 kB at 1.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.1/plexus-archiver-3.0.1.jar (381 kB at 9.8 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.jar (31 kB at 820 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.jar (51 kB at 1.3 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.22/plexus-interpolation-1.22.jar (77 kB at 1.8 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.jar (84 kB at 1.7 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.jar (22 kB at 442 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.jar (245 kB at 4.9 MB/s)
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar
[INFO] 
[INFO] -------------------< org.overturetool.core:codegen >--------------------
[INFO] Building Code Generation 2.7.3-SNAPSHOT                          [20/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen ---
[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/codegen/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) @ codegen ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] ------------------< org.overturetool.core.codegen:ir >------------------
[INFO] Building The Intermediate Representation Tree 2.7.3-SNAPSHOT     [21/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ir ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ir ---
[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/codegen/ir/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.8:generate (java) @ ir ---
[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) @ ir ---
[INFO] Source directory: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ir ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ir ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ir ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ir ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/target/ir-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ir ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ir ---
[INFO] 
4 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:3: error: package org.overture.codegen.ir.declarations does not exist
[WARNING] import org.overture.codegen.ir.declarations.AVarDeclIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:4: error: package org.overture.codegen.ir.statements does not exist
[WARNING] import org.overture.codegen.ir.statements.ABlockStmIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:8: error: cannot find symbol
[WARNING] public static String getSimpleBlockString(ABlockStmIR node)
[WARNING] ^
[WARNING] symbol:   class ABlockStmIR
[WARNING] location: class IrToStringUtil
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:24: error: cannot find symbol
[WARNING] public static String getBlockSimpleBlockString(ABlockStmIR node)
[WARNING] ^
[WARNING] symbol:   class ABlockStmIR
[WARNING] location: class IrToStringUtil
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/target/ir-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:platform >---------------
[INFO] Building The Code Generation Platform 2.7.3-SNAPSHOT             [22/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ platform ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ platform ---
[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/codegen/platform/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) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ platform ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 12 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ platform ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb" 
Running org.overture.codegen.tests.LocalVarTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.203 sec - in org.overture.codegen.tests.LocalVarTest
Running org.overture.codegen.tests.util.DeclAssistantTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in org.overture.codegen.tests.util.DeclAssistantTest
Running org.overture.codegen.tests.TemplateManagerTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.258 sec - in org.overture.codegen.tests.TemplateManagerTest

Results :

Tests run: 17, Failures: 0, Errors: 0, Skipped: 0

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ platform ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/platform-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ platform ---
[INFO] Analyzed bundle 'The Code Generation Platform' with 158 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ platform ---
[INFO] 
4 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:77: warning: no description for @param
[WARNING] * @param userCallables
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:60: warning: no description for @param
[WARNING] * @param templateManager
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:61: warning: no description for @param
[WARNING] * @param templateCallables
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/src/main/java/org/overture/codegen/merging/TemplateManager.java:75: warning: no description for @param
[WARNING] * @param templateLoadRef
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/platform-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -----------< org.overturetool.core.codegen:codegen-runtime >------------
[INFO] Building The Java Code Generator Runtime 2.7.3-SNAPSHOT          [23/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-runtime ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-runtime ---
[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/codegen/codegen-runtime/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) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ codegen-runtime ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-runtime ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb" 
Running MapTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.147 sec - in MapTest
Running PermuteArrayTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec - in PermuteArrayTest
Running PermutorTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec - in PermutorTest
Running VDMUtilTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.025 sec - in VDMUtilTest
Running IsTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in IsTest
Running TupleTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in TupleTest
Running IOTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec - in IOTest

Results :

Tests run: 42, Failures: 0, Errors: 0, Skipped: 0

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-runtime ---
[INFO] Analyzed bundle 'The Java Code Generator Runtime' with 50 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-runtime ---
[INFO] 
9 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @param for orig
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @return
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:57: warning: no @return
[WARNING] public byte[] getByteArray()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:90: warning: no @return
[WARNING] public InputStream getInputStream()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:28: warning: no @param for initSize
[WARNING] public FastByteArrayOutputStream(int initSize)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:53: warning: no description for @param
[WARNING] * @param result
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:54: warning: no description for @param
[WARNING] * @param test
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:55: warning: no description for @param
[WARNING] * @param n
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:100: warning: no description for @param
[WARNING] * @param other
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ codegen-runtime ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.pom (4.1 kB at 205 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.pom (4.8 kB at 436 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.pom (4.9 kB at 491 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.pom (13 kB at 1.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/38/commons-parent-38.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/38/commons-parent-38.pom (62 kB at 4.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.4/snappy-0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.4/snappy-0.4.pom (14 kB at 1.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.4/snappy-0.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.jar (23 kB at 1.2 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.jar (177 kB at 6.5 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.4/snappy-0.4.jar (58 kB at 2.2 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.jar (409 kB at 11 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.jar (86 kB at 2.2 MB/s)
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-sources.jar
[INFO] 
[INFO] -------------< org.overturetool.core.codegen:javagen-test >-------------
[INFO] Building The Java Code Generator Testing 2.7.3-SNAPSHOT          [24/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen-test ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen-test ---
[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/codegen/javagen-test/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) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen-test ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen-test ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen-test ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen-test ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen-test ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen-test ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:javagen >----------------
[INFO] Building The Java Code Generator 2.7.3-SNAPSHOT                  [25/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen ---
[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/codegen/javagen/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) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 184 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2082 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 51 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb" 
Running org.overture.codegen.tests.other.IRTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.246 sec - in org.overture.codegen.tests.other.IRTest
Running org.overture.codegen.tests.other.ClassesToSkipParsingTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.019 sec - in org.overture.codegen.tests.other.ClassesToSkipParsingTest
Running org.overture.codegen.tests.other.UtilsTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec - in org.overture.codegen.tests.other.UtilsTest
Running org.overture.codegen.tests.other.VarShadowingTest
Tests run: 37, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.461 sec - in org.overture.codegen.tests.other.VarShadowingTest
Running org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.79 sec - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Running org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Tests run: 29, Failures: 0, Errors: 0, Skipped: 29, Time elapsed: 0.035 sec - in org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Running org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Tests run: 174, Failures: 0, Errors: 0, Skipped: 174, Time elapsed: 0.106 sec - in org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Running org.overture.codegen.tests.exec.ClassicJavaGenTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0 sec - in org.overture.codegen.tests.exec.ClassicJavaGenTest
Running org.overture.codegen.tests.exec.SpecificationJavaGenTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 81, Time elapsed: 0.045 sec - in org.overture.codegen.tests.exec.SpecificationJavaGenTest
Running org.overture.codegen.tests.exec.PackageJavaGenTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.001 sec - in org.overture.codegen.tests.exec.PackageJavaGenTest
Running org.overture.codegen.tests.exec.PatternJavaGenTest
Tests run: 68, Failures: 0, Errors: 0, Skipped: 68, Time elapsed: 0.042 sec - in org.overture.codegen.tests.exec.PatternJavaGenTest
Running org.overture.codegen.tests.exec.BindJavaGenTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 11, Time elapsed: 0.009 sec - in org.overture.codegen.tests.exec.BindJavaGenTest
Running org.overture.codegen.tests.exec.PrePostJavaGenTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.004 sec - in org.overture.codegen.tests.exec.PrePostJavaGenTest
Running org.overture.codegen.tests.exec.ExpJavaGenTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 126, Time elapsed: 0.052 sec - in org.overture.codegen.tests.exec.ExpJavaGenTest
Running org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Tests run: 51, Failures: 0, Errors: 0, Skipped: 51, Time elapsed: 0.016 sec - in org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Running org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.002 sec - in org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 17, Time elapsed: 0.006 sec - in org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Running org.overture.codegen.tests.exec.TracesStateJavaGenTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 8, Time elapsed: 0.002 sec - in org.overture.codegen.tests.exec.TracesStateJavaGenTest
Running org.overture.codegen.tests.exec.IsExpJavaGenTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 21, Time elapsed: 0.008 sec - in org.overture.codegen.tests.exec.IsExpJavaGenTest
Running org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.001 sec - in org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Running org.overture.codegen.tests.exec.RtJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0 sec - in org.overture.codegen.tests.exec.RtJavaGenTest
Running org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 22, Time elapsed: 0.008 sec - in org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Running org.overture.codegen.tests.exec.SlJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 22, Time elapsed: 0.007 sec - in org.overture.codegen.tests.exec.SlJavaGenTest
Running org.overture.codegen.tests.exec.TracesSlJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.003 sec - in org.overture.codegen.tests.exec.TracesSlJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Running org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 18, Time elapsed: 0.005 sec - in org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Running org.overture.codegen.tests.output.IsExpOutputTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.217 sec - in org.overture.codegen.tests.output.IsExpOutputTest
Running org.overture.codegen.tests.output.TracesStateOutputTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.393 sec - in org.overture.codegen.tests.output.TracesStateOutputTest
Running org.overture.codegen.tests.output.BindOutputTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.472 sec - in org.overture.codegen.tests.output.BindOutputTest
Running org.overture.codegen.tests.output.ClassicOutputTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.569 sec - in org.overture.codegen.tests.output.ClassicOutputTest
Running org.overture.codegen.tests.output.RtOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.116 sec - in org.overture.codegen.tests.output.RtOutputTest
Running org.overture.codegen.tests.output.TracesVerdictOutputTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.217 sec - in org.overture.codegen.tests.output.TracesVerdictOutputTest
Running org.overture.codegen.tests.output.PatternOutputTest
Tests run: 68, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.023 sec - in org.overture.codegen.tests.output.PatternOutputTest
Running org.overture.codegen.tests.output.TracesSlOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.384 sec - in org.overture.codegen.tests.output.TracesSlOutputTest
Running org.overture.codegen.tests.output.ConfiguredStringOutputTest
Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.428 sec - in org.overture.codegen.tests.output.ConfiguredStringOutputTest
Running org.overture.codegen.tests.output.ComplexExpOutputTest
Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.182 sec - in org.overture.codegen.tests.output.ComplexExpOutputTest
Running org.overture.codegen.tests.output.NameNormalisingOutputTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.127 sec - in org.overture.codegen.tests.output.NameNormalisingOutputTest
Running org.overture.codegen.tests.output.ConcurrencyClassicOutputTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.975 sec - in org.overture.codegen.tests.output.ConcurrencyClassicOutputTest
Running org.overture.codegen.tests.output.SystemClassOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.076 sec - in org.overture.codegen.tests.output.SystemClassOutputTest
Running org.overture.codegen.tests.output.FunctionValueOutputTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.37 sec - in org.overture.codegen.tests.output.FunctionValueOutputTest
Running org.overture.codegen.tests.output.ExpOutputTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.275 sec - in org.overture.codegen.tests.output.ExpOutputTest
Running org.overture.codegen.tests.output.SlOutputTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.767 sec - in org.overture.codegen.tests.output.SlOutputTest
Running org.overture.codegen.tests.output.PrePostOutputTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.153 sec - in org.overture.codegen.tests.output.PrePostOutputTest
Running org.overture.codegen.tests.output.PackageOutputTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.056 sec - in org.overture.codegen.tests.output.PackageOutputTest
Running org.overture.codegen.tests.output.SpecificationOutputTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.199 sec - in org.overture.codegen.tests.output.SpecificationOutputTest
Running org.overture.codegen.tests.output.UnionTypeOutputTest
Tests run: 51, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.852 sec - in org.overture.codegen.tests.output.UnionTypeOutputTest
Running org.overture.codegen.tests.output.ConfiguredCloningOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.631 sec - in org.overture.codegen.tests.output.ConfiguredCloningOutputTest
Running org.overture.codegen.tests.output.TracesExpansionOutputTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.46 sec - in org.overture.codegen.tests.output.TracesExpansionOutputTest
Running org.overture.codegen.tests.output.ConcurrencyOutputTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.623 sec - in org.overture.codegen.tests.output.ConcurrencyOutputTest

Results :

Tests run: 1479, Failures: 0, Errors: 0, Skipped: 690

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen ---
[INFO] Analyzed bundle 'The Java Code Generator' with 32 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -----------< org.overturetool.core.codegen:vdm2jml-runtime >------------
[INFO] Building The VDM to JML Generator Runtime 2.7.3-SNAPSHOT         [26/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml-runtime ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml-runtime ---
[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/codegen/vdm2jml-runtime/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) @ vdm2jml-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml-runtime ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml-runtime ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml-runtime ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml-runtime ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml-runtime ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ vdm2jml-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:vdm2jml >----------------
[INFO] Building The VDM to JML Generator 2.7.3-SNAPSHOT                 [27/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-dependency-plugin/2.10/maven-dependency-plugin-2.10.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-dependency-plugin/2.10/maven-dependency-plugin-2.10.pom (12 kB at 521 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-dependency-plugin/2.10/maven-dependency-plugin-2.10.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-dependency-plugin/2.10/maven-dependency-plugin-2.10.jar (160 kB at 9.4 MB/s)
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml ---
[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/codegen/vdm2jml/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:copy-resources (copy-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 24 resources
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 383 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 46 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb" 
Running org.overture.vdm2jml.tests.RecInvTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.571 sec - in org.overture.vdm2jml.tests.RecInvTests
Running org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.029 sec - in org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Running org.overture.vdm2jml.tests.PreCondNoStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.158 sec - in org.overture.vdm2jml.tests.PreCondNoStateTests
Running org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.006 sec - in org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.009 sec - in org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Running org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Running org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Running org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.023 sec - in org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.006 sec - in org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Tests run: 9, Failures: 0, Errors: 0, Skipped: 9, Time elapsed: 0.008 sec - in org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.006 sec - in org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Running org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Running org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Running org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.008 sec - in org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.001 sec - in org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Running org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Running org.overture.vdm2jml.tests.TypeDependencyTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.044 sec - in org.overture.vdm2jml.tests.TypeDependencyTests
Running org.overture.vdm2jml.tests.JmlOutputTests
Tests run: 85, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.342 sec - in org.overture.vdm2jml.tests.JmlOutputTests
Running org.overture.vdm2jml.tests.StateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.022 sec - in org.overture.vdm2jml.tests.StateTests
Running org.overture.vdm2jml.tests.V2JCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec - in org.overture.vdm2jml.tests.V2JCallTests
Running org.overture.vdm2jml.tests.LeafTypeCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.LeafTypeCallTests
Running org.overture.vdm2jml.tests.PurityTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec - in org.overture.vdm2jml.tests.PurityTests
Running org.overture.vdm2jml.tests.PostCondWithStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.046 sec - in org.overture.vdm2jml.tests.PostCondWithStateTests
Running org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.168 sec - in org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Running org.overture.vdm2jml.tests.NameGenTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in org.overture.vdm2jml.tests.NameGenTests
Running org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.402 sec - in org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Running org.overture.vdm2jml.tests.PreCondWithStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.027 sec - in org.overture.vdm2jml.tests.PreCondWithStateTests
Running org.overture.vdm2jml.tests.PostCondNoStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.015 sec - in org.overture.vdm2jml.tests.PostCondNoStateTests

Results :

Tests run: 278, Failures: 0, Errors: 0, Skipped: 110

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml ---
[INFO] Analyzed bundle 'The VDM to JML Generator' with 37 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml ---
[INFO] 
2 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenUtil.java:215: warning: no @return
[WARNING] public List<IRStatus<PIR>> makeRecsOuterClasses(List<IRStatus<PIR>> ast,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenUtil.java:411: warning: no description for @param
[WARNING] * @param newAst
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-dependency-plugin:2.10:copy (copy) @ vdm2jml ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.2/maven-reporting-impl-2.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.2/maven-reporting-impl-2.2.pom (4.7 kB at 169 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-dependency-analyzer/1.6/maven-dependency-analyzer-1.6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-dependency-analyzer/1.6/maven-dependency-analyzer-1.6.pom (5.4 kB at 363 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-project/2.0.5/maven-project-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-project/2.0.5/maven-project-2.0.5.pom (1.8 kB at 167 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/2.0.5/maven-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/2.0.5/maven-2.0.5.pom (5.7 kB at 519 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/2.0.5/maven-settings-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/2.0.5/maven-settings-2.0.5.pom (1.7 kB at 140 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.5/maven-model-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.5/maven-model-2.0.5.pom (2.7 kB at 194 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-profile/2.0.5/maven-profile-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-profile/2.0.5/maven-profile-2.0.5.pom (1.7 kB at 127 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact-manager/2.0.5/maven-artifact-manager-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact-manager/2.0.5/maven-artifact-manager-2.0.5.pom (1.8 kB at 153 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/2.0.5/maven-repository-metadata-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/2.0.5/maven-repository-metadata-2.0.5.pom (1.5 kB at 114 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/2.0.5/maven-artifact-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/2.0.5/maven-artifact-2.0.5.pom (727 B at 66 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-invoker/2.1.1/maven-invoker-2.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-invoker/2.1.1/maven-invoker-2.1.1.pom (5.6 kB at 506 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.2/maven-reporting-impl-2.2.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.2/doxia-core-1.2.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-dependency-analyzer/1.6/maven-dependency-analyzer-1.6.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-invoker/2.1.1/maven-invoker-2.1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-dependency-analyzer/1.6/maven-dependency-analyzer-1.6.jar (32 kB at 1.6 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-invoker/2.1.1/maven-invoker-2.1.1.jar (30 kB at 1.5 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.2/maven-reporting-impl-2.2.jar (17 kB at 674 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.2/doxia-core-1.2.jar (154 kB at 5.5 MB/s)
[INFO] Configured Artifact: org.overturetool.core.codegen:codegen-runtime:2.7.3-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core.codegen:vdm2jml-runtime:2.7.3-SNAPSHOT:jar
[INFO] Copying codegen-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/jml/lib/codegen-runtime.jar
[INFO] Copying vdm2jml-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/jml/lib/vdm2jml-runtime.jar
[INFO] 
[INFO] ------------< org.overturetool.core.codegen:codegen-plugin >------------
[INFO] Building The Java Code Generator Maven Plugin 2.7.3-SNAPSHOT     [28/35]
[INFO] ----------------------------[ maven-plugin ]----------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-plugin ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-plugin ---
[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/codegen/codegen-maven-plugin/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) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.4:compile (default-compile) @ codegen-plugin ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-plugin-plugin:3.3:descriptor (default-descriptor) @ codegen-plugin ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-annotations/3.3/maven-plugin-tools-annotations-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-annotations/3.3/maven-plugin-tools-annotations-3.3.pom (4.3 kB at 307 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-api/3.3/maven-plugin-tools-api-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-api/3.3/maven-plugin-tools-api-3.3.pom (3.0 kB at 253 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.1/plexus-archiver-2.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.1/plexus-archiver-2.1.1.pom (2.8 kB at 281 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.3/plexus-io-2.0.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.3/plexus-io-2.0.3.pom (1.7 kB at 144 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.pom (1.9 kB at 175 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.15/plexus-components-1.1.15.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.15/plexus-components-1.1.15.pom (2.8 kB at 259 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-generators/3.3/maven-plugin-tools-generators-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-generators/3.3/maven-plugin-tools-generators-3.3.pom (4.3 kB at 332 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/net/sf/jtidy/jtidy/r938/jtidy-r938.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/net/sf/jtidy/jtidy/r938/jtidy-r938.pom (9.2 kB at 768 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-java/3.3/maven-plugin-tools-java-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-java/3.3/maven-plugin-tools-java-3.3.pom (3.6 kB at 260 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-beanshell/3.3/maven-plugin-tools-beanshell-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-beanshell/3.3/maven-plugin-tools-beanshell-3.3.pom (2.4 kB at 188 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/beanshell/bsh/1.3.0/bsh-1.3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/beanshell/bsh/1.3.0/bsh-1.3.0.pom (1.1 kB at 93 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-model/3.3/maven-plugin-tools-model-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-model/3.3/maven-plugin-tools-model-3.3.pom (3.1 kB at 241 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-annotations/3.3/maven-plugin-tools-annotations-3.3.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.1/plexus-archiver-2.1.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.2/doxia-sink-api-1.2.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.3/plexus-io-2.0.3.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-logging-api/1.2/doxia-logging-api-1.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.1/plexus-archiver-2.1.1.jar (185 kB at 6.8 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.2/doxia-site-renderer-1.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-annotations/3.3/maven-plugin-tools-annotations-3.3.jar (40 kB at 1.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.2/doxia-decoration-model-1.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.2/doxia-sink-api-1.2.jar (11 kB at 388 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.2/doxia-module-xhtml-1.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-logging-api/1.2/doxia-logging-api-1.2.jar (11 kB at 391 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.2/doxia-module-fml-1.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.3/plexus-io-2.0.3.jar (58 kB at 1.9 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-api/3.3/maven-plugin-tools-api-3.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.2/doxia-decoration-model-1.2.jar (60 kB at 1.9 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-generators/3.3/maven-plugin-tools-generators-3.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.2/doxia-site-renderer-1.2.jar (52 kB at 1.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/net/sf/jtidy/jtidy/r938/jtidy-r938.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-api/3.3/maven-plugin-tools-api-3.3.jar (23 kB at 654 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-java/3.3/maven-plugin-tools-java-3.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.2/doxia-module-xhtml-1.2.jar (15 kB at 419 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-beanshell/3.3/maven-plugin-tools-beanshell-3.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.2/doxia-module-fml-1.2.jar (38 kB at 996 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/beanshell/bsh/1.3.0/bsh-1.3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-generators/3.3/maven-plugin-tools-generators-3.3.jar (47 kB at 970 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-model/3.3/maven-plugin-tools-model-3.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-java/3.3/maven-plugin-tools-java-3.3.jar (18 kB at 357 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/net/sf/jtidy/jtidy/r938/jtidy-r938.jar (250 kB at 4.4 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-beanshell/3.3/maven-plugin-tools-beanshell-3.3.jar (14 kB at 243 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools-model/3.3/maven-plugin-tools-model-3.3.jar (27 kB at 455 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/beanshell/bsh/1.3.0/bsh-1.3.0.jar (242 kB at 4.0 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.jar (7.9 kB at 127 kB/s)
[INFO] Using 'UTF-8' encoding to read mojo metadata.
[INFO] Applying mojo extractor for language: java
[INFO] Mojo extractor for language: java found 1 mojo descriptors.
[INFO] Applying mojo extractor for language: bsh
[INFO] Mojo extractor for language: bsh found 0 mojo descriptors.
[INFO] Applying mojo extractor for language: java-annotations
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-project-info-reports-plugin/2.8.1/maven-project-info-reports-plugin-2.8.1-sources.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-project-info-reports-plugin/2.8.1/maven-project-info-reports-plugin-2.8.1-sources.jar (236 kB at 11 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.3/maven-reporting-impl-2.3-sources.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.3/maven-reporting-impl-2.3-sources.jar (16 kB at 1.1 MB/s)
[INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors.
[INFO] 
[INFO] --- maven-plugin-plugin:3.3:descriptor (mojo-descriptor) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to read mojo metadata.
[INFO] Applying mojo extractor for language: java
[INFO] Mojo extractor for language: java found 1 mojo descriptors.
[INFO] Applying mojo extractor for language: bsh
[INFO] Mojo extractor for language: bsh found 0 mojo descriptors.
[INFO] Applying mojo extractor for language: java-annotations
[INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.4:testCompile (default-testCompile) @ codegen-plugin ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-plugin ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-plugin ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-plugin-plugin:3.3:addPluginArtifactMetadata (default-addPluginArtifactMetadata) @ codegen-plugin ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-plugin ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-plugin ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ----------------< org.overturetool.core.codegen:isagen >----------------
[INFO] Building The VDM to Isabelle Translator 2.7.3-SNAPSHOT           [29/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isagen ---
[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/codegen/isagen/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.8:generate (generate-ast) @ isagen ---
[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] 	Extension base dependency is: "org.overturetool.core.codegen:ir"
[INFO] 	Searching for base dependency artifact
[INFO] 	Extension base artifact found - exstracting base tree definition files
[INFO] 	Setting base definition files to:
[INFO] 		base: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/ir.ast
[INFO] 		base tostring: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/ir.ast.tostring
[INFO] 	Extension base artifact configured.
[INFO] Checking if generation required.
[INFO] Extended AST unchanged
[INFO] Nothing to generate, source already up-to-date
[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ isagen ---
[INFO] Source directory: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 65 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isagen ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 144 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isagen ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb" 
Running org.overturetool.cgisa.IsaGenFileExpTest
Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.358 sec - in org.overturetool.cgisa.IsaGenFileExpTest
Running org.overturetool.cgisa.IsaGenModelTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.overturetool.cgisa.IsaGenModelTest
Running org.overturetool.cgisa.IsaGenParamTest
Tests run: 48, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.611 sec - in org.overturetool.cgisa.IsaGenParamTest

Results :

Tests run: 73, Failures: 0, Errors: 0, Skipped: 3

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isagen ---
[INFO] Analyzed bundle 'The VDM to Isabelle Translator' with 19 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isagen ---
[INFO] 
4 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java/org/overturetool/cgisa/transformations/GroupMutRecs.java:28: error: package org.overture.cgisa.isair.analysis does not exist
[WARNING] import org.overture.cgisa.isair.analysis.DepthFirstAnalysisIsaAdaptor;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java/org/overturetool/cgisa/transformations/GroupMutRecs.java:29: error: package org.overture.cgisa.isair.declarations does not exist
[WARNING] import org.overture.cgisa.isair.declarations.AMrFuncGroupDeclIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java/org/overturetool/cgisa/transformations/GroupMutRecs.java:40: error: cannot find symbol
[WARNING] public class GroupMutRecs extends DepthFirstAnalysisIsaAdaptor implements
[WARNING] ^
[WARNING] symbol: class DepthFirstAnalysisIsaAdaptor
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java/org/overturetool/cgisa/IsaGen.java:88: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --------------------< org.overturetool.core:isapog >--------------------
[INFO] Building POG - Isagen Integration 2.7.3-SNAPSHOT                 [30/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isapog ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isapog ---
[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/isapog/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) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/../../documentation/examples
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isapog ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 7 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isapog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isapog ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb" 
Running org.overture.isapog.ThyWriteTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.843 sec - in org.overture.isapog.ThyWriteTest
Running org.overture.isapog.IsaPogIntegrationTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.024 sec - in org.overture.isapog.IsaPogIntegrationTest

Results :

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

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isapog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/isapog-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isapog ---
[INFO] Analyzed bundle 'POG - Isagen Integration' with 2 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isapog ---
[INFO] 
1 warning
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/src/main/java/org/overture/isapog/IsaPog.java:104: warning: no description for @throws
[WARNING] * @throws IOException
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/isapog-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -----------------< org.overturetool.core:annotations >------------------
[INFO] Building VDM Annotations 2.7.3-SNAPSHOT                          [31/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ annotations ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ annotations ---
[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/annotations/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) @ annotations ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ annotations ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:provided >-------------
[INFO] Building Provided Annotations 2.7.3-SNAPSHOT                     [32/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ provided ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ provided ---
[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/annotations/provided/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) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ provided ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ provided ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ provided ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ provided ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/provided-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ provided ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ provided ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/provided-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:examples >-------------
[INFO] Building Annotation Examples 2.7.3-SNAPSHOT                      [33/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ examples ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ examples ---
[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/annotations/examples/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) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ examples ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ examples ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ examples ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ examples ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/examples-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ examples ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ examples ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/examples-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -------------------< org.overturetool:documentation >-------------------
[INFO] Building Documentation 2.7.3-SNAPSHOT                            [34/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ documentation ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ documentation ---
[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/documentation/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) @ documentation ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/documentation/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] ------------< org.overturetool.documentation:releasenotes >-------------
[INFO] Building The Overture release notes 2.7.3-SNAPSHOT               [35/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ releasenotes ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ releasenotes ---
[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/documentation/releasenotes/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) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 80 resources to /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/classes/releasenotes
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ releasenotes ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ releasenotes ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ releasenotes ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ releasenotes ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/releasenotes-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ releasenotes ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 2.7.3-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  0.819 s]
[INFO] Overture External Resources ........................ SUCCESS [  3.735 s]
[INFO] Core Tools ......................................... SUCCESS [  1.046 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  3.409 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  1.682 s]
[INFO] The VDM parser ..................................... SUCCESS [  9.323 s]
[INFO] The VDM Type Checker ............................... SUCCESS [01:14 min]
[INFO] Overture Testing ................................... SUCCESS [  0.014 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  1.437 s]
[INFO] Overture Sample Tests .............................. SUCCESS [  5.505 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.019 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  1.979 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [ 13.211 s]
[INFO] The VDM Interpreter ................................ SUCCESS [01:08 min]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.023 s]
[INFO] Combinatorial Testing Utilities .................... SUCCESS [  1.258 s]
[INFO] Combinatorial Testing Runtime ...................... SUCCESS [ 23.211 s]
[INFO] New Pretty Printer ................................. SUCCESS [  3.528 s]
[INFO] Overture Core Command Line Tool .................... SUCCESS [  3.440 s]
[INFO] Code Generation .................................... SUCCESS [  0.011 s]
[INFO] The Intermediate Representation Tree ............... SUCCESS [  1.786 s]
[INFO] The Code Generation Platform ....................... SUCCESS [01:06 min]
[INFO] The Java Code Generator Runtime .................... SUCCESS [  4.720 s]
[INFO] The Java Code Generator Testing .................... SUCCESS [  1.926 s]
[INFO] The Java Code Generator ............................ SUCCESS [ 40.457 s]
[INFO] The VDM to JML Generator Runtime ................... SUCCESS [  1.177 s]
[INFO] The VDM to JML Generator ........................... SUCCESS [ 29.172 s]
[INFO] The Java Code Generator Maven Plugin ............... SUCCESS [  9.361 s]
[INFO] The VDM to Isabelle Translator ..................... SUCCESS [  8.353 s]
[INFO] POG - Isagen Integration ........................... SUCCESS [  4.796 s]
[INFO] VDM Annotations .................................... SUCCESS [  0.014 s]
[INFO] Provided Annotations ............................... SUCCESS [  1.531 s]
[INFO] Annotation Examples ................................ SUCCESS [  1.202 s]
[INFO] Documentation ...................................... SUCCESS [  0.007 s]
[INFO] The Overture release notes ......................... SUCCESS [  0.092 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  06:28 min
[INFO] Finished at: 2020-01-03T17:09:54+01:00
[INFO] ------------------------------------------------------------------------
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven0d9e76fb/maven-spy-20200103-170325-463250212356173142358.log