Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Java Code Generator 2.7.3-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen --- [TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/codegen/javagen' for files matching the pattern '**/*.java' - excludes: [TASKS] Found 85 files to scan for tasks Found 1 open tasks. [TASKS] Computing warning deltas based on reference build #229 [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 184 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 34 source files to /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target/classes [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/overture-development/core/codegen/javagen/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.codegen.tests.other.IRTest Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.003 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.007 sec - in org.overture.codegen.tests.other.UtilsTest Running org.overture.codegen.tests.other.VarShadowingTest Tests run: 37, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.175 sec - in org.overture.codegen.tests.other.VarShadowingTest Running org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.651 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.025 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.084 sec - in org.overture.codegen.tests.exec.ComplexExpJavaGenTest Running org.overture.codegen.tests.exec.ClassicJavaGenTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0 sec - in org.overture.codegen.tests.exec.ClassicJavaGenTest Running org.overture.codegen.tests.exec.SpecificationJavaGenTest Tests run: 81, Failures: 0, Errors: 0, Skipped: 81, Time elapsed: 0.025 sec - in org.overture.codegen.tests.exec.SpecificationJavaGenTest Running org.overture.codegen.tests.exec.PackageJavaGenTest Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.001 sec - in org.overture.codegen.tests.exec.PackageJavaGenTest Running org.overture.codegen.tests.exec.PatternJavaGenTest Tests run: 68, Failures: 0, Errors: 0, Skipped: 68, Time elapsed: 0.024 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.003 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.003 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.043 sec - in org.overture.codegen.tests.exec.ExpJavaGenTest Running org.overture.codegen.tests.exec.UnionTypeJavaGenTest Tests run: 51, Failures: 0, Errors: 0, Skipped: 51, Time elapsed: 0.016 sec - in org.overture.codegen.tests.exec.UnionTypeJavaGenTest Running org.overture.codegen.tests.exec.TracesVerdictJavaGenTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.001 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.005 sec - in org.overture.codegen.tests.exec.ConcurrencyJavaGenTest Running org.overture.codegen.tests.exec.TracesStateJavaGenTest Tests run: 8, Failures: 0, Errors: 0, Skipped: 8, Time elapsed: 0.002 sec - in org.overture.codegen.tests.exec.TracesStateJavaGenTest Running org.overture.codegen.tests.exec.IsExpJavaGenTest Tests run: 21, Failures: 0, Errors: 0, Skipped: 21, Time elapsed: 0.006 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 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.001 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.006 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.006 sec - in org.overture.codegen.tests.exec.SlJavaGenTest Running org.overture.codegen.tests.exec.TracesSlJavaGenTest Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.003 sec - in org.overture.codegen.tests.exec.TracesSlJavaGenTest Running org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest Running org.overture.codegen.tests.exec.FunctionValueJavaGenTest Tests run: 18, Failures: 0, Errors: 0, Skipped: 18, Time elapsed: 0.005 sec - in org.overture.codegen.tests.exec.FunctionValueJavaGenTest Running org.overture.codegen.tests.output.IsExpOutputTest Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.029 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.412 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.441 sec - in org.overture.codegen.tests.output.BindOutputTest Running org.overture.codegen.tests.output.ClassicOutputTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.188 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.107 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.179 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: 1.457 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.345 sec - in org.overture.codegen.tests.output.TracesSlOutputTest Running org.overture.codegen.tests.output.ConfiguredStringOutputTest Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.416 sec - in org.overture.codegen.tests.output.ConfiguredStringOutputTest Running org.overture.codegen.tests.output.ComplexExpOutputTest Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.688 sec - in org.overture.codegen.tests.output.ComplexExpOutputTest Running org.overture.codegen.tests.output.NameNormalisingOutputTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.098 sec - in org.overture.codegen.tests.output.NameNormalisingOutputTest Running org.overture.codegen.tests.output.ConcurrencyClassicOutputTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.328 sec - in org.overture.codegen.tests.output.ConcurrencyClassicOutputTest Running org.overture.codegen.tests.output.SystemClassOutputTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.069 sec - in org.overture.codegen.tests.output.SystemClassOutputTest Running org.overture.codegen.tests.output.FunctionValueOutputTest Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.264 sec - in org.overture.codegen.tests.output.FunctionValueOutputTest Running org.overture.codegen.tests.output.ExpOutputTest Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.128 sec - in org.overture.codegen.tests.output.ExpOutputTest Running org.overture.codegen.tests.output.SlOutputTest Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.512 sec - in org.overture.codegen.tests.output.SlOutputTest Running org.overture.codegen.tests.output.PrePostOutputTest Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.306 sec - in org.overture.codegen.tests.output.PrePostOutputTest Running org.overture.codegen.tests.output.PackageOutputTest Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.123 sec - in org.overture.codegen.tests.output.PackageOutputTest Running org.overture.codegen.tests.output.SpecificationOutputTest Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.366 sec - in org.overture.codegen.tests.output.SpecificationOutputTest Running org.overture.codegen.tests.output.UnionTypeOutputTest Tests run: 51, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.743 sec - in org.overture.codegen.tests.output.UnionTypeOutputTest Running org.overture.codegen.tests.output.ConfiguredCloningOutputTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.424 sec - in org.overture.codegen.tests.output.ConfiguredCloningOutputTest Running org.overture.codegen.tests.output.TracesExpansionOutputTest Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.342 sec - in org.overture.codegen.tests.output.TracesExpansionOutputTest Running org.overture.codegen.tests.output.ConcurrencyOutputTest Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.524 sec - in org.overture.codegen.tests.output.ConcurrencyOutputTest Results : Tests run: 1479, Failures: 0, Errors: 0, Skipped: 690 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen --- [INFO] Analyzed bundle 'The Java Code Generator' with 32 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT-javadoc.jar [INFO] [INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ javagen --- [INFO] Disabled [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen --- [INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT-javadoc.jar