FailedConsole Output

Skipping 782 KB.. Full Log
atic PExp parseTcExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:143: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseTcExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:158: warning: no @throws for org.overture.parser.syntax.ParserException
	public static PExp parseTcExpressionString(String expression,
	                   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:158: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseTcExpressionString(String expression,
	                   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:180: warning: no @throws for org.overture.parser.syntax.ParserException
	public static List<INode> typedAstFromString(String model, Dialect dialect)
	                          ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:180: warning: no @throws for org.overture.parser.lex.LexException
	public static List<INode> typedAstFromString(String model, Dialect dialect)
	                          ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:214: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:215: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:231: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:232: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:233: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java/org/overture/core/testing/PathsProvider.java:109: warning: no description for @return
	 * @return
	   ^

Command line was: /usr/lib/jvm/java-8-oracle/jre/../bin/javadoc @options @packages

Refer to the generated Javadoc files in '/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/target/apidocs' dir.

    at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeJavadocCommandLine (AbstractJavadocMojo.java:5163)
    at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeReport (AbstractJavadocMojo.java:2075)
    at org.apache.maven.plugin.javadoc.JavadocJar.execute (JavadocJar.java:188)
    at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo (DefaultBuildPluginManager.java:137)
    at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:210)
    at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:156)
    at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:148)
    at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:117)
    at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:81)
    at org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build (SingleThreadedBuilder.java:56)
    at org.apache.maven.lifecycle.internal.LifecycleStarter.execute (LifecycleStarter.java:128)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:305)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:192)
    at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:105)
    at org.apache.maven.cli.MavenCli.execute (MavenCli.java:956)
    at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:288)
    at org.apache.maven.cli.MavenCli.main (MavenCli.java:192)
    at sun.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke (Method.java:498)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:289)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:229)
    at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:415)
    at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:356)
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/target/framework-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------< org.overturetool.core.testing:samples >----------------
[INFO] Building Overture Sample Tests 2.7.3-SNAPSHOT                    [10/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ samples ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ samples ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_hdm_development@2/.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_hdm_development@2/core/testing/samples/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) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ samples ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 3215 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ samples ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 3 source files to /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/samples/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ samples ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9" 
Running org.overture.core.testing.samples.SampleStandardTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.829 sec - in org.overture.core.testing.samples.SampleStandardTest
Running org.overture.core.testing.samples.SampleExternalsTest
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.core.testing.samples.SampleExternalsTest

Results :

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

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ samples ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/samples/target/samples-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ samples ---
[INFO] Analyzed bundle 'Overture Sample Tests' with 0 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ samples ---
[INFO] 
[INFO] ----------------< org.overturetool.core:prettyprinting >----------------
[INFO] Building VDM Pretty Printing 2.7.3-SNAPSHOT                      [11/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinting ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinting ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_hdm_development@2/.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_hdm_development@2/core/prettyprinting/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) @ prettyprinting ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinting ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] ---------< org.overturetool.core.prettyprinting:prettyprinter >---------
[INFO] Building The VDM Pretty Printer 2.7.3-SNAPSHOT                   [12/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinter ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinter ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_hdm_development@2/.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_hdm_development@2/core/prettyprinting/prettyprinter/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) @ prettyprinter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/prettyprinter/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ prettyprinter ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ prettyprinter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/prettyprinter/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ prettyprinter ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ prettyprinter ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ prettyprinter ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ prettyprinter ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinter ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------------< org.overturetool.core:pog >----------------------
[INFO] Building The Proof Obligation Generator 2.7.3-SNAPSHOT           [13/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ pog ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ pog ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_hdm_development@2/.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_hdm_development@2/core/pog/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 (generate-ast) @ pog ---
[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] 	Extension base dependency is: "org.overturetool.core:ast"
[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_hdm_development@2/core/pog/target/overtureII.astv2
[INFO] 		base tostring: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/target/overtureII.astv2.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) @ pog ---
[INFO] Source directory: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ pog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ pog ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ pog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 329 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ pog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ pog ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9" 
Running org.overture.pog.tests.VariableSubTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.343 sec - in org.overture.pog.tests.VariableSubTest
Running org.overture.pog.tests.newtests.PogBasicTest
Tests run: 39, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.967 sec - in org.overture.pog.tests.newtests.PogBasicTest
Running org.overture.pog.tests.newtests.PogBugRegressionTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.076 sec - in org.overture.pog.tests.newtests.PogBugRegressionTest
Running org.overture.pog.tests.newtests.PogTypeIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.068 sec - in org.overture.pog.tests.newtests.PogTypeIntegrityTest
Running org.overture.pog.tests.newtests.VarDefIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.03 sec - in org.overture.pog.tests.newtests.VarDefIntegrityTest
Running org.overture.pog.tests.newtests.PogIntegrationTest
Tests run: 50, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.49 sec - in org.overture.pog.tests.newtests.PogIntegrationTest

Results :

Tests run: 195, Failures: 0, Errors: 0, Skipped: 84

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ pog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/target/pog-2.7.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ pog ---
[INFO] Analyzed bundle 'The Proof Obligation Generator' with 91 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ pog ---
[INFO] 
100 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9"
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:46: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:47: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:48: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:68: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:69: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:70: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @param for node
[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @param for exps
[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @return
[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @param for patternType
[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @param for patternNames
[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @return
[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @param for setExp
[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @param for patternNames
[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @return
[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @param for patternType
[WARNING] protected List<PMultipleBind> getMultipleTypeBindList(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @param for patternNames
[WARNING] protected List<PMultipleBind> getMultipleTypeBindList(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @return
[WARNING] protected List<PMultipleBind> getMultipleTypeBindList(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @param for setExp
[WARNING] protected List<PMultipleBind> getMultipleSetBindList(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @param for patternNames
[WARNING] protected List<PMultipleBind> getMultipleSetBindList(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @return
[WARNING] protected List<PMultipleBind> getMultipleSetBindList(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:327: warning: no @param for name
[WARNING] protected ILexNameToken getUnique(String name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:327: warning: no @return
[WARNING] protected ILexNameToken getUnique(String name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @param for left
[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @param for right
[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @return
[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:343: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:343: warning: no @return
[WARNING] protected AVariableExp getVarExp(ILexNameToken name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @param for type
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @return
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @param for vardef
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @return
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:374: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for vardef
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for type
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @param for root
[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @param for arglist
[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @return
[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @param for root
[WARNING] protected AApplyExp getApplyExp(PExp root, List<PExp> arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @param for arglist
[WARNING] protected AApplyExp getApplyExp(PExp root, List<PExp> arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @return
[WARNING] protected AApplyExp getApplyExp(PExp root, List<PExp> arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:418: warning: no @param for i
[WARNING] protected AIntLiteralExp getIntLiteral(long i)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:418: warning: no @return
[WARNING] protected AIntLiteralExp getIntLiteral(long i)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @param for root
[WARNING] protected PExp makeAnd(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @param for e
[WARNING] protected PExp makeAnd(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @return
[WARNING] protected PExp makeAnd(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @param for root
[WARNING] protected PExp makeOr(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @param for e
[WARNING] protected PExp makeOr(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @return
[WARNING] protected PExp makeOr(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @param for pattern
[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @return
[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:57: warning: no description for @param
[WARNING] * @param exp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:58: warning: no description for @param
[WARNING] * @param settype
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:59: warning: no description for @param
[WARNING] * @param ctxt
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:60: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:61: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:42: warning: no description for @param
[WARNING] * @param exp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:43: warning: no description for @param
[WARNING] * @param ctxt
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:44: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:45: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:107: warning: no description for @param
[WARNING] * @param assistantFactory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:108: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:109: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:197: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:199: warning: no @param for assistantFactory
[WARNING] protected TypeCompatibilityObligation(INode root, ILexLocation loc,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @param for annotation
[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @param for node
[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @param for question
[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @return
[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:37: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected IProofObligationList beforeAnnotation(PAnnotation annotation, INode node, IPOContextStack question)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @param for annotations
[WARNING] protected IProofObligationList beforeAnnotations(List<PAnnotation> annotations, INode node, IPOContextStack question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @param for node
[WARNING] protected IProofObligationList beforeAnnotations(List<PAnnotation> annotations, INode node, IPOContextStack question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @param for question
[WARNING] protected IProofObligationList beforeAnnotations(List<PAnnotation> annotations, INode node, IPOContextStack question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @return
[WARNING] protected IProofObligationList beforeAnnotations(List<PAnnotation> annotations, INode node, IPOContextStack question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/AbstractPogParamVisitor.java:117: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected IProofObligationList beforeAnnotations(List<PAnnotation> annotations, INode node, IPOContextStack question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:79: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:80: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:81: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:173: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:174: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:175: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:558: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:559: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:560: warning: no description for @param
[WARNING] * @param precond
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:561: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:88: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:71: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:72: warning: no description for @param
[WARNING] * @param mainVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:73: warning: no description for @param
[WARNING] * @param assistantFactory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java:56: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java:82: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:51: warning: no description for @param
[WARNING] * @param <Q>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:52: warning: no description for @param
[WARNING] * @param <A>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:74: warning: no description for @param
[WARNING] * @param assistantFactory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @param for pattern
[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @param for af
[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/target/pog-2.7.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -----------------< org.overturetool.core:interpreter >------------------
[INFO] Building The VDM Interpreter 2.7.3-SNAPSHOT                      [14/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ interpreter ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ interpreter ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_hdm_development@2/.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_hdm_development@2/core/interpreter/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) @ interpreter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ interpreter ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ interpreter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1998 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interpreter ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 21 source files to /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ interpreter ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9" 
Running org.overture.interpreter.tests.RepeatTraceNodeTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.188 sec - in org.overture.interpreter.tests.RepeatTraceNodeTest
Running org.overture.interpreter.tests.RandomListTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.interpreter.tests.RandomListTests
Running org.overture.interpreter.tests.newtests.ClassesPpClassicTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.847 sec - in org.overture.interpreter.tests.newtests.ClassesPpClassicTest
Running org.overture.interpreter.tests.newtests.ClassesRtTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.217 sec - in org.overture.interpreter.tests.newtests.ClassesRtTest
Running org.overture.interpreter.tests.newtests.BugRegressionTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.08 sec - in org.overture.interpreter.tests.newtests.BugRegressionTest
Running org.overture.interpreter.tests.newtests.ExternalInterpreterTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overture.interpreter.tests.newtests.ExternalInterpreterTest
Running org.overture.interpreter.tests.newtests.ModulesSlTest
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.164 sec - in org.overture.interpreter.tests.newtests.ModulesSlTest
Running org.overture.interpreter.tests.newtests.ClassesRtClassicTest

Results :

Tests run: 35, Failures: 0, Errors: 0, Skipped: 1

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 2.7.3-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  0.929 s]
[INFO] Overture External Resources ........................ SUCCESS [  4.539 s]
[INFO] Core Tools ......................................... SUCCESS [  2.962 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  3.856 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  2.664 s]
[INFO] The VDM parser ..................................... SUCCESS [ 14.195 s]
[INFO] The VDM Type Checker ............................... SUCCESS [ 30.217 s]
[INFO] Overture Testing ................................... SUCCESS [  0.010 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  1.305 s]
[INFO] Overture Sample Tests .............................. SUCCESS [  4.543 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.019 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  2.176 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [ 12.715 s]
[INFO] The VDM Interpreter ................................ FAILURE [26 d 03:13 h]
[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:  26 d 03:14 h
[INFO] Finished at: 2020-03-16T15:02:05+01:00
[INFO] ------------------------------------------------------------------------
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/overturetool_hdm_development@2@tmp/withMaven69f6cac9/maven-spy-20200219-114721-68390241220572859440.log
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.19.1:test (default-test) on project interpreter: Execution default-test of goal org.apache.maven.plugins:maven-surefire-plugin:2.19.1:test failed: The forked VM terminated without properly saying goodbye. VM crash or System.exit called?
[ERROR] Command was /bin/sh -c cd /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter && /usr/lib/jvm/java-8-oracle/jre/bin/java '-javaagent:/var/lib/jenkins/workspace/overturetool_hdm_development@2/.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_hdm_development@2/core/interpreter/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/**/*' -jar /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter/target/surefire/surefirebooter4371603201933978739.jar /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter/target/surefire/surefire6292535704591637559tmp /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter/target/surefire/surefire_46049363807408254544tmp
[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/PluginExecutionException
[ERROR] 
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR]   mvn <goals> -rf :interpreter
[Pipeline] }
[withMaven] artifactsPublisher - Archive artifact pom.xml under org/overturetool/root/2.7.3-SNAPSHOT/root-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/pom.xml under org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/target/externals-2.7.3-SNAPSHOT.jar under org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pom.xml under org/overturetool/core/2.7.3-SNAPSHOT/core-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/pom.xml under org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-2.7.3-SNAPSHOT.jar under org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-2.7.3-SNAPSHOT-javadoc.jar under org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/pom.xml under org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.3-SNAPSHOT.jar under org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.3-SNAPSHOT-javadoc.jar under org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/pom.xml under org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.3-SNAPSHOT.jar under org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.3-SNAPSHOT-javadoc.jar under org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/pom.xml under org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-2.7.3-SNAPSHOT.jar under org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-2.7.3-SNAPSHOT-javadoc.jar under org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/pom.xml under org/overturetool/core/testing/2.7.3-SNAPSHOT/testing-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/pom.xml under org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-2.7.3-SNAPSHOT.jar under org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-2.7.3-SNAPSHOT-javadoc.jar under org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/pom.xml under org/overturetool/core/testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/target/samples-2.7.3-SNAPSHOT.jar under org/overturetool/core/testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/pom.xml under org/overturetool/core/prettyprinting/2.7.3-SNAPSHOT/prettyprinting-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/pom.xml under org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT.jar under org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT-javadoc.jar under org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/pom.xml under org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-2.7.3-SNAPSHOT.jar under org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-2.7.3-SNAPSHOT-javadoc.jar under org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT-javadoc.jar
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool:externals:jar:2.7.3-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.3-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.3-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.3-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.3-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/typechecker/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.testing:framework:jar:2.7.3-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/testing/framework/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.testing:samples:jar:2.7.3-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/testing/samples/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.3-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/prettyprinting/prettyprinter/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:pog:jar:2.7.3-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/pog/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:interpreter:jar:2.7.3-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/interpreter/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.3-SNAPSHOT(version: 2.7.3-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.3-SNAPSHOT(version: 2.7.3-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.3-SNAPSHOT(version: 2.7.3-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.3-SNAPSHOT(version: 2.7.3-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.3-SNAPSHOT(version: 2.7.3-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.3-SNAPSHOT(version: 2.7.3-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.3-SNAPSHOT(version: 2.7.3-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
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:testing:pom:2.7.3-SNAPSHOT(version: 2.7.3-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/target/coverage-reports/jacoco-unit.exec, sources: core/testing/src/main/java, classes: core/testing/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.testing:framework:jar:2.7.3-SNAPSHOT(version: 2.7.3-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/framework/target/coverage-reports/jacoco-unit.exec, sources: core/testing/framework/src/main/java, classes: core/testing/framework/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.testing:samples:jar:2.7.3-SNAPSHOT(version: 2.7.3-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/samples/target/coverage-reports/jacoco-unit.exec, sources: core/testing/samples/src/main/java, classes: core/testing/samples/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:prettyprinting:pom:2.7.3-SNAPSHOT(version: 2.7.3-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/prettyprinting/target/coverage-reports/jacoco-unit.exec, sources: core/prettyprinting/src/main/java, classes: core/prettyprinting/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.3-SNAPSHOT(version: 2.7.3-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec, sources: core/prettyprinting/prettyprinter/src/main/java, classes: core/prettyprinting/prettyprinter/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:pog:jar:2.7.3-SNAPSHOT(version: 2.7.3-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/pog/target/coverage-reports/jacoco-unit.exec, sources: core/pog/src/main/java, classes: core/pog/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:interpreter:jar:2.7.3-SNAPSHOT(version: 2.7.3-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/interpreter/target/coverage-reports/jacoco-unit.exec, sources: core/interpreter/src/main/java, classes: core/interpreter/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,core/testing/target/coverage-reports/jacoco-unit.exec,core/testing/framework/target/coverage-reports/jacoco-unit.exec,core/testing/samples/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec,core/pog/target/coverage-reports/jacoco-unit.exec,core/interpreter/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,core/testing/target/classes,core/testing/framework/target/classes,core/testing/samples/target/classes,core/prettyprinting/target/classes,core/prettyprinting/prettyprinter/target/classes,core/pog/target/classes,core/interpreter/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,core/testing/src/main/java,core/testing/framework/src/main/java,core/testing/samples/src/main/java,core/prettyprinting/src/main/java,core/prettyprinting/prettyprinter/src/main/java,core/pog/src/main/java,core/interpreter/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,core/testing/target/coverage-reports/jacoco-unit.exec,core/testing/framework/target/coverage-reports/jacoco-unit.exec,core/testing/samples/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec,core/pog/target/coverage-reports/jacoco-unit.exec,core/interpreter/target/coverage-reports/jacoco-unit.exec: 5
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development@2/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,core/testing/target/classes,core/testing/framework/target/classes,core/testing/samples/target/classes,core/prettyprinting/target/classes,core/prettyprinting/prettyprinter/target/classes,core/pog/target/classes,core/interpreter/target/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter/target/classes 344 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/target/classes 105 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/typechecker/target/classes 155 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development@2/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,core/testing/src/main/java,core/testing/framework/src/main/java,core/testing/samples/src/main/java,core/prettyprinting/src/main/java,core/prettyprinting/prettyprinter/src/main/java,core/pog/src/main/java,core/interpreter/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/interpreter/src/main/java 287 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/pog/src/main/java 93 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development@2/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: 35, method: 20, line: 18, branch: 13, instruction: 19, complexity: 14
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool:root:pom:2.7.3-SNAPSHOT in source directory src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:ast:jar:2.7.3-SNAPSHOT in source directory core/ast/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:testframework:jar:2.7.3-SNAPSHOT in source directory core/testframework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:parser:jar:2.7.3-SNAPSHOT in source directory core/parser/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:typechecker:jar:2.7.3-SNAPSHOT in source directory core/typechecker/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.testing:framework:jar:2.7.3-SNAPSHOT in source directory core/testing/framework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.3-SNAPSHOT in source directory core/prettyprinting/prettyprinter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:pog:jar:2.7.3-SNAPSHOT in source directory core/pog/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:interpreter:jar:2.7.3-SNAPSHOT in source directory core/interpreter/src/main/java
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overturetool_hdm_development@2' 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/**/*,core/testing/framework/src/main/java/**/*,core/prettyprinting/prettyprinter/src/main/java/**/*,core/pog/src/main/java/**/*,core/interpreter/src/main/java/**/*' - excludes: null
[TASKS] Found 654 files to scan for tasks
[TASKS] Found 193 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[TASKS] Computing warning deltas based on reference build #1
[withMaven] Publishers: Pipeline Graph Publisher: 24 ms, Generated Artifacts Publisher: 2287 ms, Junit Publisher: 290 ms, Dependencies Fingerprint Publisher: 237 ms, Jacoco Publisher: 5500 ms, Open Task Scanner Publisher: 972 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
[Pipeline] emailext
An attempt to send an e-mail to empty list of recipients, ignored.
[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