FailedConsole Output

Skipping 592 KB.. Full Log
mmons-validator-1.3.1.jar (139 kB at 1.3 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12.1/qdox-1.12.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12.1/qdox-1.12.1.jar (180 kB at 1.3 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.2.3/httpclient-4.2.3.jar (433 kB at 2.9 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.2.2/httpcore-4.2.2.jar (224 kB at 1.4 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.6/commons-codec-1.6.jar (233 kB at 1.4 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.14/log4j-1.2.14.jar (367 kB at 1.9 MB/s)
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] ---------------------< org.overturetool.core:ast >----------------------
[INFO] Building The Overture Abstract Syntax Tree 2.7.5-SNAPSHOT         [4/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ast ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ast ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- astcreator-plugin:1.6.10:generate (java) @ ast ---
[INFO] Preparing for tree generation...
[INFO] Checking if generation required.
[INFO] All up to date
[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ast ---
[INFO] Source directory: /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ast ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ast ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ast ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ast ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ast ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ast ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/ast-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ast ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ast ---
[INFO] 
1 warning
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/src/main/java/org/overture/util/Base64.java:122: warning: no description for @throws
[WARNING] * @throws Exception
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/ast-2.7.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ----------------< org.overturetool.core:testframework >-----------------
[INFO] Building Test Framework for Overture 2.7.5-SNAPSHOT               [5/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testframework ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testframework ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ testframework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ testframework ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ testframework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ testframework ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ testframework ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ testframework ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/testframework-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testframework ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testframework ---
[INFO] 
20 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:67: warning: no description for @throws
[WARNING] * @throws IllegalArgumentException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:68: warning: no description for @throws
[WARNING] * @throws InstantiationException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:69: warning: no description for @throws
[WARNING] * @throws IllegalAccessException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:70: warning: no description for @throws
[WARNING] * @throws InvocationTargetException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:71: warning: no description for @throws
[WARNING] * @throws SecurityException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:72: warning: no description for @throws
[WARNING] * @throws NoSuchMethodException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:114: warning: no description for @throws
[WARNING] * @throws IllegalArgumentException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:115: warning: no description for @throws
[WARNING] * @throws InstantiationException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:116: warning: no description for @throws
[WARNING] * @throws IllegalAccessException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:117: warning: no description for @throws
[WARNING] * @throws InvocationTargetException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:118: warning: no description for @throws
[WARNING] * @throws SecurityException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:119: warning: no description for @throws
[WARNING] * @throws NoSuchMethodException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:244: warning: no description for @throws
[WARNING] * @throws IllegalArgumentException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:245: warning: no description for @throws
[WARNING] * @throws InstantiationException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:246: warning: no description for @throws
[WARNING] * @throws IllegalAccessException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:247: warning: no description for @throws
[WARNING] * @throws InvocationTargetException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:248: warning: no description for @throws
[WARNING] * @throws SecurityException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:249: warning: no description for @throws
[WARNING] * @throws NoSuchMethodException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/BaseTestSuite.java:250: warning: no description for @throws
[WARNING] * @throws IOException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java/org/overture/test/framework/ResultTestCase4.java:121: warning: no @param for out
[WARNING] protected abstract boolean assertEqualResults(R expected, R actual,
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/testframework-2.7.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --------------------< org.overturetool.core:parser >--------------------
[INFO] Building The VDM parser 2.7.5-SNAPSHOT                            [6/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ parser ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ parser ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 32 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 388 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 17 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ parser ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit3/2.19.1/surefire-junit3-2.19.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit3/2.19.1/surefire-junit3-2.19.1.pom (2.5 kB at 65 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-providers/2.19.1/surefire-providers-2.19.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-providers/2.19.1/surefire-providers-2.19.1.pom (2.6 kB at 66 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit3/2.19.1/surefire-junit3-2.19.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit3/2.19.1/surefire-junit3-2.19.1.jar (26 kB at 1.1 MB/s)

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa" 
Running org.overture.parser.tests.SpecificationSlTestSuite
Tests run: 41, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.984 sec - in org.overture.parser.tests.SpecificationSlTestSuite
Running org.overture.parser.tests.PatternTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.PatternTestSuite
Running org.overture.parser.tests.ExpressionTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.ExpressionTestSuite
Running org.overture.parser.tests.StatementTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.StatementTestSuite
Running org.overture.parser.tests.SpecificationRtTestSuite
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.685 sec - in org.overture.parser.tests.SpecificationRtTestSuite
Running org.overture.parser.tests.SpecificationPpTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 sec - in org.overture.parser.tests.SpecificationPpTestSuite
Running org.overture.parser.tests.TypeTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.TypeTestSuite
Running org.overture.parser.tests.DefinitionTestSuite
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in org.overture.parser.tests.DefinitionTestSuite

Results :

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

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ parser ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/parser-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ parser ---
[INFO] Analyzed bundle 'The VDM parser' with 43 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ parser ---
[INFO] 
56 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:202: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:203: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:204: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:205: warning: no description for @throws
[WARNING] * @throws IOException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:292: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:76: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:251: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:110: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:111: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:141: warning: no description for @param
[WARNING] * @param expression
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:142: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:143: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/BacktrackInputReader.java:144: warning: no description for @param
[WARNING] * @param streamReaderType
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:652: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:1219: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:223: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:224: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:225: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:240: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:241: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:242: warning: no description for @param
[WARNING] * @param file
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:243: warning: no description for @param
[WARNING] * @param charset
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:244: warning: no description for @param
[WARNING] * @param streamReaderType
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:259: warning: no description for @param
[WARNING] * @param content
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:260: warning: no description for @param
[WARNING] * @param dialect
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:261: warning: no description for @param
[WARNING] * @param location
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for content
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for location
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/lex/LexTokenReader.java:275: warning: no @param for reader
[WARNING] public LexTokenReader(String content, ILexLocation location, LexTokenReader reader)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:118: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected LexToken nextToken() throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:130: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected LexToken lastToken() throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:140: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:154: warning: no description for @param
[WARNING] * @param module
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:191: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:194: warning: no @throws for org.overture.parser.syntax.ParserException
[WARNING] protected LexIdentifierToken lastIdToken() throws ParserException,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:220: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:221: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:261: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:262: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:310: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:311: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:532: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:533: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:554: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:576: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:577: warning: no description for @throws
[WARNING] * @throws LexException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:595: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:610: warning: no description for @throws
[WARNING] * @throws ParserException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:613: warning: no @throws for org.overture.parser.lex.LexException
[WARNING] protected void throwMessage(int number, String message, int depth)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for no
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for msg
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:676: warning: no @param for location
[WARNING] protected void warning(int no, String msg, ILexLocation location)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:757: warning: no description for @param
[WARNING] * @param out
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:818: warning: no @param for reader
[WARNING] protected void beforeAnnotations(SyntaxReader reader, List<PAnnotation> annotations)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:818: warning: no @param for annotations
[WARNING] protected void beforeAnnotations(SyntaxReader reader, List<PAnnotation> annotations)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java/org/overture/parser/syntax/SyntaxReader.java:100: warning: no @param for reader
[WARNING] protected SyntaxReader(LexTokenReader reader)
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/parser-2.7.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -----------------< org.overturetool.core:typechecker >------------------
[INFO] Building The VDM Type Checker 2.7.5-SNAPSHOT                      [7/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19.1/surefire-junit4-2.19.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19.1/surefire-junit4-2.19.1.pom (3.3 kB at 105 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19.1/surefire-junit4-2.19.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19.1/surefire-junit4-2.19.1.jar (75 kB at 3.3 MB/s)

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa" 
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
ExternalTestsPath not found
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.225 sec - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
ExternalTestsPath not found
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
ExternalTestsPath not found
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Running org.overture.typechecker.tests.ClassesRtTypeCheckTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.817 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest
Running org.overture.typechecker.tests.ClassesPpTypeCheckTest
Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.202 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest
Running org.overture.typechecker.tests.ModulesSlTypeCheckTest
Tests run: 73, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 4.29 sec <<< FAILURE! - in org.overture.typechecker.tests.ModulesSlTypeCheckTest
test[newspeakSL](org.overture.typechecker.tests.ModulesSlTypeCheckTest)  Time elapsed: 1.713 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "newspeakSL.result"

Missing Warning:    5012 newspeakSL at 1726:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2262:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2262:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2474:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2474:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1920:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1920:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1920:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2109:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2109:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2109:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2061:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2061:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2554:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2554:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1777:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1777:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1777:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2765:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1895:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1895:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1895:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2244:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2244:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2244:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2252:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2376:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2376:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2376:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1833:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1833:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2749:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2749:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1748:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1748:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1748:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2939:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2939:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2939:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2017:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2538:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1909:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1909:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1909:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1767:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1767:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1767:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2173:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2173:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2234:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2956:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2956:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2956:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1685:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1848:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1848:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2133:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2133:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1873:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2000:1 Recursive function has no measure


test[ProgLangSL](org.overture.typechecker.tests.ModulesSlTypeCheckTest)  Time elapsed: 0.031 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "ProgLangSL.result"

Missing Warning:    5012 ProgLangSL at 492:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 507:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 507:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 202:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 449:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 228:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 304:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 304:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 518:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 462:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 462:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 187:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 486:1 Recursive function has no measure



Results :

Failed tests: 
  ModulesSlTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "ProgLangSL.result"

Missing Warning:    5012 ProgLangSL at 492:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 507:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 507:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 202:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 449:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 228:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 304:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 304:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 518:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 462:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 462:1 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 187:3 Recursive function has no measure
Missing Warning:    5012 ProgLangSL at 486:1 Recursive function has no measure

  ModulesSlTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "newspeakSL.result"

Missing Warning:    5012 newspeakSL at 1726:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2262:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2262:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1794:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2474:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2474:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2122:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1920:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1920:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1920:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2673:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2907:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2109:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2109:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2109:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2404:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2061:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2061:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1505:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2871:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2349:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2554:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2554:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2850:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2084:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1777:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1777:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1777:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2765:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1895:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1895:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1895:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2244:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2244:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2244:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2252:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2289:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2826:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2376:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2376:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2376:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1485:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1833:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1833:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2801:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1396:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1657:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2749:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2749:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2388:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1748:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1748:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1748:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1670:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1627:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2939:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2939:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2939:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2017:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2538:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1639:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1909:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1909:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1909:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1594:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1767:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1767:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1767:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2173:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2173:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1960:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2234:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2330:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2101:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2574:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2696:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2956:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2956:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2956:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1685:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1848:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1848:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2133:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2133:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 1873:1 Recursive function has no measure
Missing Warning:    5012 newspeakSL at 2000:1 Recursive function has no measure


Tests run: 131, Failures: 2, Errors: 0, Skipped: 0

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 2.7.5-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  2.322 s]
[INFO] Overture External Resources ........................ SUCCESS [  7.846 s]
[INFO] Core Tools ......................................... SUCCESS [  2.468 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  6.019 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  3.119 s]
[INFO] The VDM parser ..................................... SUCCESS [ 19.219 s]
[INFO] The VDM Type Checker ............................... FAILURE [ 15.106 s]
[INFO] Overture Testing ................................... SKIPPED
[INFO] Overture Testing Framework ......................... SKIPPED
[INFO] Overture Sample Tests .............................. SKIPPED
[INFO] VDM Pretty Printing ................................ SKIPPED
[INFO] The VDM Pretty Printer ............................. SKIPPED
[INFO] The Proof Obligation Generator ..................... SKIPPED
[INFO] The VDM Interpreter ................................ SKIPPED
[INFO] Combinatorial Testing .............................. SKIPPED
[INFO] Combinatorial Testing Utilities .................... SKIPPED
[INFO] Combinatorial Testing Runtime ...................... SKIPPED
[INFO] New Pretty Printer ................................. SKIPPED
[INFO] Overture Core Command Line Tool .................... SKIPPED
[INFO] Code Generation .................................... SKIPPED
[INFO] The Intermediate Representation Tree ............... SKIPPED
[INFO] The Code Generation Platform ....................... SKIPPED
[INFO] The Java Code Generator Runtime .................... SKIPPED
[INFO] The Java Code Generator Testing .................... SKIPPED
[INFO] The Java Code Generator ............................ SKIPPED
[INFO] The VDM to JML Generator Runtime ................... SKIPPED
[INFO] The VDM to JML Generator ........................... SKIPPED
[INFO] The Java Code Generator Maven Plugin ............... SKIPPED
[INFO] The VDM to Isabelle Translator ..................... SKIPPED
[INFO] POG - Isagen Integration ........................... SKIPPED
[INFO] VDM Annotations .................................... SKIPPED
[INFO] Provided Annotations ............................... SKIPPED
[INFO] Annotation Examples ................................ SKIPPED
[INFO] Documentation ...................................... SKIPPED
[INFO] The Overture release notes ......................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  57.592 s
[INFO] Finished at: 2020-04-28T18:04:08+02:00
[INFO] ------------------------------------------------------------------------
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMavenba7f22aa/maven-spy-20200428-180310-5112587034845639132912.log
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.19.1:test (default-test) on project typechecker: There are test failures.
[ERROR] 
[ERROR] Please refer to /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/surefire-reports for the individual test results.
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
[ERROR] 
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR]   mvn <goals> -rf :typechecker
[Pipeline] }
[withMaven] artifactsPublisher - Archive artifact pom.xml under org/overturetool/root/2.7.5-SNAPSHOT/root-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/pom.xml under org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/target/externals-2.7.5-SNAPSHOT.jar under org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pom.xml under org/overturetool/core/2.7.5-SNAPSHOT/core-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/pom.xml under org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-2.7.5-SNAPSHOT.jar under org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-2.7.5-SNAPSHOT-javadoc.jar under org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/pom.xml under org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.5-SNAPSHOT.jar under org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.5-SNAPSHOT-javadoc.jar under org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/pom.xml under org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.5-SNAPSHOT.jar under org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.5-SNAPSHOT-javadoc.jar under org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT-javadoc.jar
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool:externals:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): externals/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:ast:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/ast/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:testframework:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/testframework/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:parser:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/parser/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:typechecker:jar:2.7.5-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/typechecker/target/surefire-reports/*.xml
[withMaven] junitPublisher - Jenkins JUnit Attachments Plugin not found, can't publish test attachments.Recording test results
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:root:pom:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: target/coverage-reports/jacoco-unit.exec, sources: src/main/java, classes: target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:externals:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: externals/target/coverage-reports/jacoco-unit.exec, sources: externals/src/main/java, classes: externals/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:core:pom:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/target/coverage-reports/jacoco-unit.exec, sources: core/src/main/java, classes: core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:ast:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/ast/target/coverage-reports/jacoco-unit.exec, sources: core/ast/src/main/java, classes: core/ast/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:testframework:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testframework/target/coverage-reports/jacoco-unit.exec, sources: core/testframework/src/main/java, classes: core/testframework/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:parser:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/parser/target/coverage-reports/jacoco-unit.exec, sources: core/parser/src/main/java, classes: core/parser/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:typechecker:jar:2.7.5-SNAPSHOT(version: 2.7.5-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/typechecker/target/coverage-reports/jacoco-unit.exec, sources: core/typechecker/src/main/java, classes: core/typechecker/target/classes
[JaCoCo plugin] Collecting JaCoCo coverage data...
[JaCoCo plugin] target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec;target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes;src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java; locations are configured
[JaCoCo plugin] Number of found exec files for pattern target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec: 2
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/classes 155 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/externals/target/classes 0 files
[JaCoCo plugin] Saving matched source directories for source-pattern: src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/src/main/java 0 files
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: []
[JaCoCo plugin] Thresholds: JacocoHealthReportThresholds [minClass=0, maxClass=0, minMethod=0, maxMethod=0, minLine=0, maxLine=0, minBranch=0, maxBranch=0, minInstruction=0, maxInstruction=0, minComplexity=0, maxComplexity=0]
[JaCoCo plugin] Publishing the results..
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
[JaCoCo plugin] Overall coverage: class: 30, method: 18, line: 16, branch: 11, instruction: 16, complexity: 12
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool:root:pom:2.7.5-SNAPSHOT in source directory src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:ast:jar:2.7.5-SNAPSHOT in source directory core/ast/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:testframework:jar:2.7.5-SNAPSHOT in source directory core/testframework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:parser:jar:2.7.5-SNAPSHOT in source directory core/parser/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:typechecker:jar:2.7.5-SNAPSHOT in source directory core/typechecker/src/main/java
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overturetool_ncb_development' for files matching the pattern 'src/main/java/**/*,core/ast/src/main/java/**/*,core/testframework/src/main/java/**/*,core/parser/src/main/java/**/*,core/typechecker/src/main/java/**/*' - excludes: null
[TASKS] Found 262 files to scan for tasks
[TASKS] Found 97 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[TASKS] Computing warning deltas based on reference build #106
[withMaven] Publishers: Pipeline Graph Publisher: 6 ms, Generated Artifacts Publisher: 710 ms, Junit Publisher: 383 ms, Dependencies Fingerprint Publisher: 100 ms, Jacoco Publisher: 2617 ms, Open Task Scanner Publisher: 983 ms
[Pipeline] // withMaven
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Clean up workspace)
[Pipeline] cleanWs
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Reporting)
[Pipeline] emailextrecipients
Not sending mail to user ncdmz\jasim with no permission to view overturetool » ncb/development #133Not sending mail to user nick.battle@gmail.com with no permission to view overturetool » ncb/development #133[Pipeline] emailext
Sending email to: hugodsmacedo@gmail.com
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

ERROR: script returned exit code 1
Finished: FAILURE