FailedConsole Output

Skipping 996 KB.. Full Log
ekLlOVfvTjc8FPJgaGiiIGKaiG5Py84vycVD1nCA1SyAABjCCFBQCV27OjYAAAAA==[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctutils ---
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctutils ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctutils ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6"
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --------< org.overturetool.core.combinatorialtesting:ctruntime >--------
[INFO] Building Combinatorial Testing Runtime 3.0.1-SNAPSHOT            [17/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctruntime ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctruntime ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/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) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctruntime ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 60 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctruntime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctruntime ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6" 
Running org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.456 sec - in org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Running org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.808 sec - in org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 11.18 sec - in org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.282 sec - in org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase

Results :

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

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctruntime ---
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctruntime ---
[INFO] Analyzed bundle 'Combinatorial Testing Runtime' with 26 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctruntime ---
[INFO] 
2 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6"
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceInterpreter.java:416: warning: no description for @param
[WARNING] * @param mtd
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceInterpreter.java:417: warning: no description for @param
[WARNING] * @param test
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------------< org.overturetool.core:npp >----------------------
[INFO] Building New Pretty Printer 3.0.1-SNAPSHOT                       [18/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ npp ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ npp ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/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) @ npp ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ npp ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ npp ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ npp ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ npp ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6" 
Running org.overture.core.npp.ExpressionNppTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.397 sec - in org.overture.core.npp.ExpressionNppTest
Running org.overture.core.npp.VdmSymbolTableTest
Tests run: 67, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.03 sec - in org.overture.core.npp.VdmSymbolTableTest
Running org.overture.core.npp.CommonStringManipsTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.core.npp.CommonStringManipsTest
Running org.overture.core.npp.IndentTrackerTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.core.npp.IndentTrackerTest

Results :

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

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ npp ---
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ npp ---
[INFO] Analyzed bundle 'New Pretty Printer' with 5 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ npp ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6"
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------< org.overturetool.core:commandlinetool >----------------
[INFO] Building Overture Core Command Line Tool 3.0.1-SNAPSHOT          [19/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-shade-plugin/2.4.3/maven-shade-plugin-2.4.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-shade-plugin/2.4.3/maven-shade-plugin-2.4.3.pom (8.5 kB at 170 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-shade-plugin/2.4.3/maven-shade-plugin-2.4.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-shade-plugin/2.4.3/maven-shade-plugin-2.4.3.jar (104 kB at 3.0 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-assembly-plugin/2.6/maven-assembly-plugin-2.6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-assembly-plugin/2.6/maven-assembly-plugin-2.6.pom (16 kB at 868 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-assembly-plugin/2.6/maven-assembly-plugin-2.6.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-assembly-plugin/2.6/maven-assembly-plugin-2.6.jar (246 kB at 5.8 MB/s)
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ commandlinetool ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ commandlinetool ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/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) @ commandlinetool ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources to /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target
[INFO] Copying 2 resources to /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target/classes
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ commandlinetool ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ commandlinetool ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ commandlinetool ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ commandlinetool ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ commandlinetool ---
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ commandlinetool ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ commandlinetool ---
[INFO] 
[INFO] --- maven-shade-plugin:2.4.3:shade (default) @ commandlinetool ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/5.0.2/asm-5.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/5.0.2/asm-5.0.2.pom (1.9 kB at 67 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-parent/5.0.2/asm-parent-5.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-parent/5.0.2/asm-parent-5.0.2.pom (5.5 kB at 366 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-commons/5.0.2/asm-commons-5.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-commons/5.0.2/asm-commons-5.0.2.pom (2.1 kB at 70 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/5.0.2/asm-tree-5.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/5.0.2/asm-tree-5.0.2.pom (2.1 kB at 139 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jdom/jdom/1.1/jdom-1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jdom/jdom/1.1/jdom-1.1.pom (2.2 kB at 115 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/vafer/jdependency/1.1/jdependency-1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/vafer/jdependency/1.1/jdependency-1.1.pom (11 kB at 416 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/5.0.4/asm-5.0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/5.0.4/asm-5.0.4.pom (1.9 kB at 108 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/5.0.4/asm-analysis-5.0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/5.0.4/asm-analysis-5.0.4.pom (2.1 kB at 110 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/5.0.4/asm-tree-5.0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/5.0.4/asm-tree-5.0.4.pom (2.1 kB at 123 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-commons/5.0.4/asm-commons-5.0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-commons/5.0.4/asm-commons-5.0.4.pom (2.1 kB at 131 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/5.0.4/asm-util-5.0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/5.0.4/asm-util-5.0.4.pom (2.1 kB at 130 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/11.0.2/guava-11.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/11.0.2/guava-11.0.2.pom (5.5 kB at 195 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava-parent/11.0.2/guava-parent-11.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava-parent/11.0.2/guava-parent-11.0.2.pom (2.0 kB at 109 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/1.3.9/jsr305-1.3.9.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/1.3.9/jsr305-1.3.9.pom (965 B at 60 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/5.0.2/asm-5.0.2.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/5.0.2/asm-tree-5.0.2.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jdom/jdom/1.1/jdom-1.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-commons/5.0.2/asm-commons-5.0.2.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/vafer/jdependency/1.1/jdependency-1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/5.0.2/asm-5.0.2.jar (53 kB at 1.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/5.0.4/asm-analysis-5.0.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/5.0.2/asm-tree-5.0.2.jar (29 kB at 764 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/5.0.4/asm-util-5.0.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-commons/5.0.2/asm-commons-5.0.2.jar (42 kB at 1.0 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/11.0.2/guava-11.0.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/vafer/jdependency/1.1/jdependency-1.1.jar (22 kB at 564 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/1.3.9/jsr305-1.3.9.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/5.0.4/asm-analysis-5.0.4.jar (20 kB at 401 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/1.3.9/jsr305-1.3.9.jar (33 kB at 569 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/5.0.4/asm-util-5.0.4.jar (43 kB at 687 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jdom/jdom/1.1/jdom-1.1.jar (153 kB at 2.0 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/11.0.2/guava-11.0.2.jar (1.6 MB at 11 MB/s)
[INFO] Including org.overturetool.core:ast:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:parser:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:typechecker:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:pog:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including com.google.code.gson:gson:jar:2.2.4 in the shaded jar.
[INFO] Including org.overturetool.core.prettyprinting:prettyprinter:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including commons-io:commons-io:jar:2.4 in the shaded jar.
[INFO] Including org.apache.commons:commons-collections4:jar:4.1 in the shaded jar.
[INFO] Including org.overturetool.core:testframework:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:interpreter:jar:3.0.1-SNAPSHOT in the shaded jar.
[INFO] Replacing /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target/Overture-3.0.1-SNAPSHOT.jar with /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT-shaded.jar
[INFO] 
[INFO] --- maven-antrun-plugin:1.8:run (set-executable-bit) @ commandlinetool ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO] 
[INFO] --- maven-assembly-plugin:2.6:single (make-my-jar-with-dependencies) @ commandlinetool ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.22/plexus-interpolation-1.22.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.22/plexus-interpolation-1.22.pom (1.5 kB at 81 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.1/plexus-archiver-3.0.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.1/plexus-archiver-3.0.1.pom (5.8 kB at 231 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.pom (3.9 kB at 208 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.pom (14 kB at 754 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.pom (2.7 kB at 140 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/4/maven-shared-components-4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/4/maven-shared-components-4.pom (2.2 kB at 105 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-io/1.0/maven-shared-io-1.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-io/1.0/maven-shared-io-1.0.pom (3.0 kB at 78 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.2/plexus-utils-1.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.2/plexus-utils-1.2.pom (767 B at 37 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.5/plexus-1.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.5/plexus-1.0.5.pom (5.9 kB at 350 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.pom (6.2 kB at 344 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.18/plexus-utils-3.0.18.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.18/plexus-utils-3.0.18.pom (3.4 kB at 212 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.pom (3.8 kB at 238 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.pom (4.6 kB at 268 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.22/plexus-interpolation-1.22.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.1/plexus-archiver-3.0.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.22/plexus-interpolation-1.22.jar (77 kB at 2.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/iq80/snappy/snappy/0.3/snappy-0.3.jar (49 kB at 1.3 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.jar (31 kB at 820 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.3/maven-filtering-1.3.jar (51 kB at 1.3 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.6/plexus-io-2.6.jar (84 kB at 1.6 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0/maven-repository-builder-1.0.jar (22 kB at 395 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.1/plexus-archiver-3.0.1.jar (381 kB at 5.7 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.21/plexus-utils-3.0.21.jar (245 kB at 3.4 MB/s)
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar
[INFO] 
[INFO] -------------------< org.overturetool.core:codegen >--------------------
[INFO] Building Code Generation 3.0.1-SNAPSHOT                          [20/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] ------------------< org.overturetool.core.codegen:ir >------------------
[INFO] Building The Intermediate Representation Tree 3.0.1-SNAPSHOT     [21/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ir ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ir ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- astcreator-plugin:1.6.8:generate (java) @ ir ---
[INFO] Preparing for tree generation...
[INFO] Checking if generation required.
[INFO] All up to date
[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ir ---
[INFO] Source directory: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ir ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ir ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ir ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ir ---
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/target/ir-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ir ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ir ---
[INFO] 
4 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6"
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:3: error: package org.overture.codegen.ir.declarations does not exist
[WARNING] import org.overture.codegen.ir.declarations.AVarDeclIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:4: error: package org.overture.codegen.ir.statements does not exist
[WARNING] import org.overture.codegen.ir.statements.ABlockStmIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:8: error: cannot find symbol
[WARNING] public static String getSimpleBlockString(ABlockStmIR node)
[WARNING] ^
[WARNING] symbol:   class ABlockStmIR
[WARNING] location: class IrToStringUtil
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/src/main/java/org/overture/codegen/ir/IrToStringUtil.java:24: error: cannot find symbol
[WARNING] public static String getBlockSimpleBlockString(ABlockStmIR node)
[WARNING] ^
[WARNING] symbol:   class ABlockStmIR
[WARNING] location: class IrToStringUtil
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/target/ir-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:platform >---------------
[INFO] Building The Code Generation Platform 3.0.1-SNAPSHOT             [22/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ platform ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ platform ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/platform/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ platform ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 12 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ platform ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/platform/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform ---

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

Results :

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

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

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6" 
Running MapTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.196 sec - in MapTest
Running PermuteArrayTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 sec - in PermuteArrayTest
Running PermutorTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec - in PermutorTest
Running VDMUtilTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.027 sec - in VDMUtilTest
Running IsTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in IsTest
Running TupleTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in TupleTest
Running IOTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.018 sec - in IOTest

Results :

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

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-runtime ---
[INFO] Analyzed bundle 'The Java Code Generator Runtime' with 50 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-runtime ---
[INFO] 
9 warnings
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6"
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @param for orig
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @return
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:57: warning: no @return
[WARNING] public byte[] getByteArray()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:90: warning: no @return
[WARNING] public InputStream getInputStream()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:28: warning: no @param for initSize
[WARNING] public FastByteArrayOutputStream(int initSize)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:53: warning: no description for @param
[WARNING] * @param result
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:54: warning: no description for @param
[WARNING] * @param test
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:55: warning: no description for @param
[WARNING] * @param n
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:100: warning: no description for @param
[WARNING] * @param other
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ codegen-runtime ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.pom (4.1 kB at 111 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9.1/plexus-archiver-2.9.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9.1/plexus-archiver-2.9.1.pom (4.4 kB at 168 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4.1/plexus-io-2.4.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4.1/plexus-io-2.4.1.pom (3.7 kB at 207 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.pom (4.8 kB at 240 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.pom (4.9 kB at 328 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.pom (13 kB at 628 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.0.0/maven-archiver-3.0.0.jar (23 kB at 683 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.7/plexus-io-2.7.jar (86 kB at 2.1 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/3.0.3/plexus-archiver-3.0.3.jar (177 kB at 2.9 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.10/commons-compress-1.10.jar (409 kB at 6.9 MB/s)
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-sources.jar
[INFO] 
[INFO] -------------< org.overturetool.core.codegen:javagen-test >-------------
[INFO] Building The Java Code Generator Testing 3.0.1-SNAPSHOT          [24/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen-test ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen-test ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen-test ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen-test ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen-test ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen-test ---
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen-test ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen-test ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6"
[INFO] Building jar: /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:javagen >----------------
[INFO] Building The Java Code Generator 3.0.1-SNAPSHOT                  [25/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 184 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2082 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 51 source files to /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6" 
Running org.overture.codegen.tests.other.IRTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.431 sec - in org.overture.codegen.tests.other.IRTest
Running org.overture.codegen.tests.other.ClassesToSkipParsingTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec - in org.overture.codegen.tests.other.ClassesToSkipParsingTest
Running org.overture.codegen.tests.other.UtilsTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec - in org.overture.codegen.tests.other.UtilsTest
Running org.overture.codegen.tests.other.VarShadowingTest
Tests run: 37, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.34 sec - in org.overture.codegen.tests.other.VarShadowingTest
Running org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.009 sec - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Running org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Tests run: 29, Failures: 0, Errors: 0, Skipped: 29, Time elapsed: 0.036 sec - in org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Running org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Tests run: 174, Failures: 0, Errors: 0, Skipped: 174, Time elapsed: 0.135 sec - in org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Running org.overture.codegen.tests.exec.ClassicJavaGenTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.003 sec - in org.overture.codegen.tests.exec.ClassicJavaGenTest
Running org.overture.codegen.tests.exec.SpecificationJavaGenTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 81, Time elapsed: 0.062 sec - in org.overture.codegen.tests.exec.SpecificationJavaGenTest
Running org.overture.codegen.tests.exec.PackageJavaGenTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.011 sec - in org.overture.codegen.tests.exec.PackageJavaGenTest
Running org.overture.codegen.tests.exec.PatternJavaGenTest
Tests run: 68, Failures: 0, Errors: 0, Skipped: 68, Time elapsed: 0.064 sec - in org.overture.codegen.tests.exec.PatternJavaGenTest
Running org.overture.codegen.tests.exec.BindJavaGenTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 11, Time elapsed: 0.006 sec - in org.overture.codegen.tests.exec.BindJavaGenTest
Running org.overture.codegen.tests.exec.PrePostJavaGenTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.006 sec - in org.overture.codegen.tests.exec.PrePostJavaGenTest
Running org.overture.codegen.tests.exec.ExpJavaGenTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 126, Time elapsed: 0.067 sec - in org.overture.codegen.tests.exec.ExpJavaGenTest
Running org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Tests run: 51, Failures: 0, Errors: 0, Skipped: 51, Time elapsed: 0.038 sec - in org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Running org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.009 sec - in org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 17, Time elapsed: 0.01 sec - in org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Running org.overture.codegen.tests.exec.TracesStateJavaGenTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 8, Time elapsed: 0.006 sec - in org.overture.codegen.tests.exec.TracesStateJavaGenTest
Running org.overture.codegen.tests.exec.IsExpJavaGenTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 21, Time elapsed: 0.01 sec - in org.overture.codegen.tests.exec.IsExpJavaGenTest
Running org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.001 sec - in org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Running org.overture.codegen.tests.exec.RtJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.codegen.tests.exec.RtJavaGenTest
Running org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 22, Time elapsed: 0.01 sec - in org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Running org.overture.codegen.tests.exec.SlJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 22, Time elapsed: 0.01 sec - in org.overture.codegen.tests.exec.SlJavaGenTest
Running org.overture.codegen.tests.exec.TracesSlJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.006 sec - in org.overture.codegen.tests.exec.TracesSlJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Running org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 18, Time elapsed: 0.008 sec - in org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Running org.overture.codegen.tests.output.IsExpOutputTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.718 sec - in org.overture.codegen.tests.output.IsExpOutputTest
Running org.overture.codegen.tests.output.TracesStateOutputTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.574 sec - in org.overture.codegen.tests.output.TracesStateOutputTest
Running org.overture.codegen.tests.output.BindOutputTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.666 sec - in org.overture.codegen.tests.output.BindOutputTest
Running org.overture.codegen.tests.output.ClassicOutputTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.902 sec - in org.overture.codegen.tests.output.ClassicOutputTest
Running org.overture.codegen.tests.output.RtOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.25 sec - in org.overture.codegen.tests.output.RtOutputTest
Running org.overture.codegen.tests.output.TracesVerdictOutputTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.462 sec - in org.overture.codegen.tests.output.TracesVerdictOutputTest
Running org.overture.codegen.tests.output.PatternOutputTest
Tests run: 68, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.535 sec - in org.overture.codegen.tests.output.PatternOutputTest
Running org.overture.codegen.tests.output.TracesSlOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.628 sec - in org.overture.codegen.tests.output.TracesSlOutputTest
Running org.overture.codegen.tests.output.ConfiguredStringOutputTest
Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.481 sec - in org.overture.codegen.tests.output.ConfiguredStringOutputTest
Running org.overture.codegen.tests.output.ComplexExpOutputTest
Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x00000000f0980000, 115867648, 0) failed; error='Cannot allocate memory' (errno=12)
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 115867648 bytes for committing reserved memory.
# An error report file with more information is saved as:
# /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/hs_err_pid31408.log

Results :

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

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 3.0.1-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  1.261 s]
[INFO] Overture External Resources ........................ SUCCESS [  4.675 s]
[INFO] Core Tools ......................................... SUCCESS [  1.487 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  3.631 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  1.847 s]
[INFO] The VDM parser ..................................... SUCCESS [ 13.159 s]
[INFO] The VDM Type Checker ............................... SUCCESS [ 50.898 s]
[INFO] Overture Testing ................................... SUCCESS [  0.026 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  2.683 s]
[INFO] Overture Sample Tests .............................. SUCCESS [  9.067 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.034 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  3.196 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [ 19.342 s]
[INFO] The VDM Interpreter ................................ SUCCESS [ 39.142 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.026 s]
[INFO] Combinatorial Testing Utilities .................... SUCCESS [  2.025 s]
[INFO] Combinatorial Testing Runtime ...................... SUCCESS [ 29.046 s]
[INFO] New Pretty Printer ................................. SUCCESS [  3.915 s]
[INFO] Overture Core Command Line Tool .................... SUCCESS [  4.349 s]
[INFO] Code Generation .................................... SUCCESS [  0.013 s]
[INFO] The Intermediate Representation Tree ............... SUCCESS [  2.334 s]
[INFO] The Code Generation Platform ....................... SUCCESS [01:09 min]
[INFO] The Java Code Generator Runtime .................... SUCCESS [  5.764 s]
[INFO] The Java Code Generator Testing .................... SUCCESS [  2.761 s]
[INFO] The Java Code Generator ............................ FAILURE [01:08 min]
[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:  05:39 min
[INFO] Finished at: 2020-10-13T10:59:38+02:00
[INFO] ------------------------------------------------------------------------
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1@tmp/withMavene70ecfa6/maven-spy-20201013-105358-8125638919888738052777.log
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.19.1:test (default-test) on project javagen: 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/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen && /usr/lib/jvm/java-8-oracle/jre/bin/java '-javaagent:/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*' -jar /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/surefire/surefirebooter7311822208141827771.jar /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/surefire/surefire8252970405075043825tmp /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/surefire/surefire_9134151949187120938tmp
[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 :javagen
[Pipeline] }
[withMaven] artifactsPublisher - Archive artifact pom.xml under org/overturetool/root/3.0.1-SNAPSHOT/root-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/pom.xml under org/overturetool/externals/3.0.1-SNAPSHOT/externals-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/target/externals-3.0.1-SNAPSHOT.jar under org/overturetool/externals/3.0.1-SNAPSHOT/externals-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pom.xml under org/overturetool/core/3.0.1-SNAPSHOT/core-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/pom.xml under org/overturetool/core/ast/3.0.1-SNAPSHOT/ast-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-3.0.1-SNAPSHOT.jar under org/overturetool/core/ast/3.0.1-SNAPSHOT/ast-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/ast/3.0.1-SNAPSHOT/ast-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/pom.xml under org/overturetool/core/testframework/3.0.1-SNAPSHOT/testframework-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-3.0.1-SNAPSHOT.jar under org/overturetool/core/testframework/3.0.1-SNAPSHOT/testframework-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/testframework/3.0.1-SNAPSHOT/testframework-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/pom.xml under org/overturetool/core/parser/3.0.1-SNAPSHOT/parser-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-3.0.1-SNAPSHOT.jar under org/overturetool/core/parser/3.0.1-SNAPSHOT/parser-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/parser/3.0.1-SNAPSHOT/parser-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/pom.xml under org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-3.0.1-SNAPSHOT.jar under org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/pom.xml under org/overturetool/core/testing/3.0.1-SNAPSHOT/testing-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/pom.xml under org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-3.0.1-SNAPSHOT.jar under org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/pom.xml under org/overturetool/core/testing/samples/3.0.1-SNAPSHOT/samples-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/target/samples-3.0.1-SNAPSHOT.jar under org/overturetool/core/testing/samples/3.0.1-SNAPSHOT/samples-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/pom.xml under org/overturetool/core/prettyprinting/3.0.1-SNAPSHOT/prettyprinting-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/pom.xml under org/overturetool/core/prettyprinting/prettyprinter/3.0.1-SNAPSHOT/prettyprinter-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-3.0.1-SNAPSHOT.jar under org/overturetool/core/prettyprinting/prettyprinter/3.0.1-SNAPSHOT/prettyprinter-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/prettyprinting/prettyprinter/3.0.1-SNAPSHOT/prettyprinter-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/pom.xml under org/overturetool/core/pog/3.0.1-SNAPSHOT/pog-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-3.0.1-SNAPSHOT.jar under org/overturetool/core/pog/3.0.1-SNAPSHOT/pog-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/pog/3.0.1-SNAPSHOT/pog-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/interpreter/pom.xml under org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/interpreter/target/interpreter-3.0.1-SNAPSHOT.jar under org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/interpreter/target/interpreter-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/interpreter/3.0.1-SNAPSHOT/interpreter-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/pom.xml under org/overturetool/core/combinatorialtesting/3.0.1-SNAPSHOT/combinatorialtesting-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/pom.xml under org/overturetool/core/combinatorialtesting/ctutils/3.0.1-SNAPSHOT/ctutils-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT.jar under org/overturetool/core/combinatorialtesting/ctutils/3.0.1-SNAPSHOT/ctutils-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/target/ctutils-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/combinatorialtesting/ctutils/3.0.1-SNAPSHOT/ctutils-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/pom.xml under org/overturetool/core/combinatorialtesting/ctruntime/3.0.1-SNAPSHOT/ctruntime-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT.jar under org/overturetool/core/combinatorialtesting/ctruntime/3.0.1-SNAPSHOT/ctruntime-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/target/ctruntime-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/combinatorialtesting/ctruntime/3.0.1-SNAPSHOT/ctruntime-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/pom.xml under org/overturetool/core/npp/3.0.1-SNAPSHOT/npp-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT.jar under org/overturetool/core/npp/3.0.1-SNAPSHOT/npp-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/target/npp-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/npp/3.0.1-SNAPSHOT/npp-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/commandline/pom.xml under org/overturetool/core/commandlinetool/3.0.1-SNAPSHOT/commandlinetool-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/commandline/target/commandlinetool-3.0.1-SNAPSHOT.jar under org/overturetool/core/commandlinetool/3.0.1-SNAPSHOT/commandlinetool-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/commandline/target/commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar under org/overturetool/core/commandlinetool/3.0.1-SNAPSHOT/commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/pom.xml under org/overturetool/core/codegen/3.0.1-SNAPSHOT/codegen-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/pom.xml under org/overturetool/core/codegen/ir/3.0.1-SNAPSHOT/ir-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/target/ir-3.0.1-SNAPSHOT.jar under org/overturetool/core/codegen/ir/3.0.1-SNAPSHOT/ir-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/target/ir-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/ir/3.0.1-SNAPSHOT/ir-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/pom.xml under org/overturetool/core/codegen/platform/3.0.1-SNAPSHOT/platform-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/target/platform-3.0.1-SNAPSHOT.jar under org/overturetool/core/codegen/platform/3.0.1-SNAPSHOT/platform-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/target/platform-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/platform/3.0.1-SNAPSHOT/platform-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/pom.xml under org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT.jar under org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-3.0.1-SNAPSHOT-sources.jar under org/overturetool/core/codegen/codegen-runtime/3.0.1-SNAPSHOT/codegen-runtime-3.0.1-SNAPSHOT-sources.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/pom.xml under org/overturetool/core/codegen/javagen-test/3.0.1-SNAPSHOT/javagen-test-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT.jar under org/overturetool/core/codegen/javagen-test/3.0.1-SNAPSHOT/javagen-test-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/target/javagen-test-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/javagen-test/3.0.1-SNAPSHOT/javagen-test-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool:externals:jar:3.0.1-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:3.0.1-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:3.0.1-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:3.0.1-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:3.0.1-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:3.0.1-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:3.0.1-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:3.0.1-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:3.0.1-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:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/interpreter/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.combinatorialtesting:ctutils:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/combinatorialtesting/ctutils/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.combinatorialtesting:ctruntime:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/combinatorialtesting/ctruntime/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:npp:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/prettyprinting/npp/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:commandlinetool:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/commandline/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:ir:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/codegen/ir/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:platform:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/codegen/platform/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:codegen-runtime:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/codegen/codegen-runtime/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:javagen-test:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/codegen/javagen-test/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:javagen:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/codegen/javagen/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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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:3.0.1-SNAPSHOT(version: 3.0.1-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
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:combinatorialtesting:pom:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec, sources: core/combinatorialtesting/src/main/java, classes: core/combinatorialtesting/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.combinatorialtesting:ctutils:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec, sources: core/combinatorialtesting/ctutils/src/main/java, classes: core/combinatorialtesting/ctutils/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.combinatorialtesting:ctruntime:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec, sources: core/combinatorialtesting/ctruntime/src/main/java, classes: core/combinatorialtesting/ctruntime/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:npp:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec, sources: core/prettyprinting/npp/src/main/java, classes: core/prettyprinting/npp/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:commandlinetool:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/commandline/target/coverage-reports/jacoco-unit.exec, sources: core/commandline/src/main/java, classes: core/commandline/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:codegen:pom:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/src/main/java, classes: core/codegen/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:ir:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/ir/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/ir/src/main/java, classes: core/codegen/ir/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:platform:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/platform/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/platform/src/main/java, classes: core/codegen/platform/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:codegen-runtime:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/codegen-runtime/src/main/java, classes: core/codegen/codegen-runtime/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:javagen-test:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/javagen-test/src/main/java, classes: core/codegen/javagen-test/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:javagen:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/javagen/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/javagen/src/main/java, classes: core/codegen/javagen/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,core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec,core/commandline/target/coverage-reports/jacoco-unit.exec,core/codegen/target/coverage-reports/jacoco-unit.exec,core/codegen/ir/target/coverage-reports/jacoco-unit.exec,core/codegen/platform/target/coverage-reports/jacoco-unit.exec,core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen/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,core/combinatorialtesting/target/classes,core/combinatorialtesting/ctutils/target/classes,core/combinatorialtesting/ctruntime/target/classes,core/prettyprinting/npp/target/classes,core/commandline/target/classes,core/codegen/target/classes,core/codegen/ir/target/classes,core/codegen/platform/target/classes,core/codegen/codegen-runtime/target/classes,core/codegen/javagen-test/target/classes,core/codegen/javagen/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,core/combinatorialtesting/src/main/java,core/combinatorialtesting/ctutils/src/main/java,core/combinatorialtesting/ctruntime/src/main/java,core/prettyprinting/npp/src/main/java,core/commandline/src/main/java,core/codegen/src/main/java,core/codegen/ir/src/main/java,core/codegen/platform/src/main/java,core/codegen/codegen-runtime/src/main/java,core/codegen/javagen-test/src/main/java,core/codegen/javagen/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,core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec,core/commandline/target/coverage-reports/jacoco-unit.exec,core/codegen/target/coverage-reports/jacoco-unit.exec,core/codegen/ir/target/coverage-reports/jacoco-unit.exec,core/codegen/platform/target/coverage-reports/jacoco-unit.exec,core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen/target/coverage-reports/jacoco-unit.exec: 10
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/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,core/combinatorialtesting/target/classes,core/combinatorialtesting/ctutils/target/classes,core/combinatorialtesting/ctruntime/target/classes,core/prettyprinting/npp/target/classes,core/commandline/target/classes,core/codegen/target/classes,core/codegen/ir/target/classes,core/codegen/platform/target/classes,core/codegen/codegen-runtime/target/classes,core/codegen/javagen-test/target/classes,core/codegen/javagen/target/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/target/classes 57 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/target/classes 399 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/target/classes 21 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/target/classes 34 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/platform/target/classes 185 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/target/classes 27 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctutils/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/commandline/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/interpreter/target/classes 344 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/pog/target/classes 105 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/typechecker/target/classes 155 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/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,core/combinatorialtesting/src/main/java,core/combinatorialtesting/ctutils/src/main/java,core/combinatorialtesting/ctruntime/src/main/java,core/prettyprinting/npp/src/main/java,core/commandline/src/main/java,core/codegen/src/main/java,core/codegen/ir/src/main/java,core/codegen/platform/src/main/java,core/codegen/codegen-runtime/src/main/java,core/codegen/javagen-test/src/main/java,core/codegen/javagen/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/codegen-runtime/src/main/java 53 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/ir/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen-test/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/javagen/src/main/java 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/codegen/platform/src/main/java 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctruntime/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/combinatorialtesting/ctutils/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/interpreter/src/main/java 287 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/pog/src/main/java 93 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/npp/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1/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: 55, method: 26, line: 25, branch: 17, instruction: 25, complexity: 18
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool:root:pom:3.0.1-SNAPSHOT in source directory src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:ast:jar:3.0.1-SNAPSHOT in source directory core/ast/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:testframework:jar:3.0.1-SNAPSHOT in source directory core/testframework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:parser:jar:3.0.1-SNAPSHOT in source directory core/parser/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:typechecker:jar:3.0.1-SNAPSHOT in source directory core/typechecker/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.testing:framework:jar:3.0.1-SNAPSHOT in source directory core/testing/framework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.prettyprinting:prettyprinter:jar:3.0.1-SNAPSHOT in source directory core/prettyprinting/prettyprinter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:pog:jar:3.0.1-SNAPSHOT in source directory core/pog/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:interpreter:jar:3.0.1-SNAPSHOT in source directory core/interpreter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.combinatorialtesting:ctutils:jar:3.0.1-SNAPSHOT in source directory core/combinatorialtesting/ctutils/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.combinatorialtesting:ctruntime:jar:3.0.1-SNAPSHOT in source directory core/combinatorialtesting/ctruntime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:npp:jar:3.0.1-SNAPSHOT in source directory core/prettyprinting/npp/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:ir:jar:3.0.1-SNAPSHOT in source directory core/codegen/ir/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:platform:jar:3.0.1-SNAPSHOT in source directory core/codegen/platform/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:codegen-runtime:jar:3.0.1-SNAPSHOT in source directory core/codegen/codegen-runtime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:javagen-test:jar:3.0.1-SNAPSHOT in source directory core/codegen/javagen-test/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:javagen:jar:3.0.1-SNAPSHOT in source directory core/codegen/javagen/src/main/java
[TASKS] Scanning folder '/var/lib/jenkins/workspace/odegen_isagen_junit-junit-4.13.1' 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/**/*,core/combinatorialtesting/ctutils/src/main/java/**/*,core/combinatorialtesting/ctruntime/src/main/java/**/*,core/prettyprinting/npp/src/main/java/**/*,core/codegen/ir/src/main/java/**/*,core/codegen/platform/src/main/java/**/*,core/codegen/codegen-runtime/src/main/java/**/*,core/codegen/javagen-test/src/main/java/**/*,core/codegen/javagen/src/main/java/**/*' - excludes: null
[TASKS] Found 962 files to scan for tasks
[TASKS] Found 208 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[withMaven] Publishers: Pipeline Graph Publisher: 21 ms, Generated Artifacts Publisher: 3827 ms, Junit Publisher: 582 ms, Concordion Publisher: 1 ms, Dependencies Fingerprint Publisher: 558 ms, Jacoco Publisher: 5181 ms, Open Task Scanner Publisher: 747 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