Console Output
Skipping 136 KB..
Full Logaven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ npp ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ npp ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.pom
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 Overture Core Command Line Tool 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[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/overture-pvj-main/.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-pvj-main/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/overture-pvj-main/core/commandline/target
[INFO] Copying 2 resources to /var/lib/jenkins/workspace/overture-pvj-main/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/overture-pvj-main/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.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ commandlinetool ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-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/overture-pvj-main/core/commandline/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ commandlinetool ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-shade-plugin:2.4.3:shade (default) @ commandlinetool ---
[INFO] Including org.overturetool.core:ast:jar:2.7.3-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:parser:jar:2.7.3-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:typechecker:jar:2.7.3-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:pog:jar:2.7.3-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:2.7.3-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.0 in the shaded jar.
[INFO] Including org.overturetool.core:testframework:jar:2.7.3-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:interpreter:jar:2.7.3-SNAPSHOT in the shaded jar.
[INFO] Replacing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/Overture-2.7.3-SNAPSHOT.jar with /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-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] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ commandlinetool ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar
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 Code Generation 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[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/overture-pvj-main/.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-pvj-main/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/overture-pvj-main/core/codegen/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/2.7.3-SNAPSHOT/codegen-2.7.3-SNAPSHOT.pom
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 Intermediate Representation Tree 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[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/overture-pvj-main/.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-pvj-main/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] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/src/main/resources/ir.ast
Adding aspect fields: PIRBase.{sourceNode,tag,metaData}
WARNING: Using SubProduction class found without using package name. SImportsIRBase
WARNING: Using SubProduction class found without using package name. SImportIRBase
Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName}
Adding aspect fields: SValueImportBase.{importType}
WARNING: Using SubProduction class found without using package name. SExportsIRBase
WARNING: Using SubProduction class found without using package name. SExportIRBase
Adding aspect fields: SExportIRBase.{decl}
WARNING: Using SubProduction class found without using package name. SPatternIRBase
WARNING: Using SubProduction class found without using package name. SBindIRBase
Adding aspect fields: SBindIRBase.{pattern}
WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase
Adding aspect fields: SMultipleBindIRBase.{patterns}
WARNING: Using SubProduction class found without using package name. SNameIRBase
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs}
WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase
Adding aspect fields: SStateDesignatorIRBase.{type}
WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase
WARNING: Using SubProduction class found without using package name. SLocalParamIRBase
WARNING: Using SubProduction class found without using package name. SStmIRBase
Adding aspect fields: SCallStmBase.{type,isStatic,name,args}
WARNING: Using SubProduction class found without using package name. SLetBeStIRBase
WARNING: Using SubProduction class found without using package name. SExpIRBase
Adding aspect fields: SExpIRBase.{type}
WARNING: Using SubProduction class found without using package name. SModifierIRBase
Adding aspect fields: SIsExpBase.{exp}
Adding aspect fields: SVarExpBase.{isLambda,isLocal,name}
Adding aspect fields: SQuantifierExpBase.{bindList,predicate}
Adding aspect fields: SBinaryExpBase.{left,right}
Adding aspect fields: SUnaryExpBase.{exp}
WARNING: Using SubProduction class found without using package name. STypeIRBase
Adding aspect fields: STypeIRBase.{optional,namedInvType}
Adding aspect fields: SSetTypeBase.{empty,setOf}
Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf}
Adding aspect fields: SMapTypeBase.{empty,injective,from,to}
WARNING: Using SubProduction class found without using package name. STermIRBase
WARNING: Using SubProduction class found without using package name. STraceDeclIRBase
WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase
Retry Create interfaces - with 15 not yet created interfaces.
Retry Create interfaces - with 1 not yet created interfaces.
Done creating interfaces
Generating toString add on...
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Copying base classes to destination...
Writing source files.:
........................................................................
........................................................................
........................................................................
........................................................................
........................................................................
..........................
File write completed in 9 secs
[INFO] Generator completed with 456 generated files.
[INFO]
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ir ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/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] Changes detected - recompiling the module!
[INFO] Compiling 397 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/classes
[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/overture-pvj-main/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.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ir ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ir ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ir ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ir ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.pom
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 Code Generation Platform 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[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/overture-pvj-main/.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-pvj-main/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] Changes detected - recompiling the module!
[INFO] Compiling 169 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/classes
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java uses unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: Recompile with -Xlint:unchecked for details.
[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/overture-pvj-main/core/codegen/platform/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.codegen.tests.LocalVarTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.578 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.006 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.902 sec - in org.overture.codegen.tests.TemplateManagerTest
Results :
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ platform ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ platform ---
[INFO] Analyzed bundle 'The Code Generation Platform' with 158 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ platform ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ platform ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.pom
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 Runtime 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[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/overture-pvj-main/.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-pvj-main/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/overture-pvj-main/core/codegen/codegen-runtime/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 53 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/classes
[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/overture-pvj-main/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/overture-pvj-main/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
-------------------------------------------------------
Running MapTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.269 sec - in MapTest
Running PermuteArrayTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec - in PermuteArrayTest
Running PermutorTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in PermutorTest
Running VDMUtilTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.041 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.001 sec - in TupleTest
Running IOTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.041 sec - in IOTest
Results :
Tests run: 42, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-runtime ---
[INFO] Analyzed bundle 'The Java Code Generator Runtime' with 50 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-runtime ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-sources.jar
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-runtime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT-sources.jar
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 Testing 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[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/overture-pvj-main/.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-pvj-main/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/overture-pvj-main/core/codegen/javagen-test/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen-test ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/classes
[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/overture-pvj-main/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.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen-test ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen-test ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen-test ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen-test ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 1 second
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 ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/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-pvj-main/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-pvj-main/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.8 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.02 sec - in org.overture.codegen.tests.other.ClassesToSkipParsingTest
Running org.overture.codegen.tests.other.UtilsTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec - in org.overture.codegen.tests.other.UtilsTest
Running org.overture.codegen.tests.other.VarShadowingTest
Tests run: 37, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.267 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: 2.366 sec - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Running org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 39.282 sec - in org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Running org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 245.767 sec - in org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Running org.overture.codegen.tests.exec.ClassicJavaGenTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.657 sec - in org.overture.codegen.tests.exec.ClassicJavaGenTest
Running org.overture.codegen.tests.exec.SpecificationJavaGenTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 76.872 sec - in org.overture.codegen.tests.exec.SpecificationJavaGenTest
Running org.overture.codegen.tests.exec.PackageJavaGenTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.59 sec - in org.overture.codegen.tests.exec.PackageJavaGenTest
Running org.overture.codegen.tests.exec.PatternJavaGenTest
Tests run: 68, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 79.005 sec - in org.overture.codegen.tests.exec.PatternJavaGenTest
Running org.overture.codegen.tests.exec.BindJavaGenTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.656 sec - in org.overture.codegen.tests.exec.BindJavaGenTest
Running org.overture.codegen.tests.exec.PrePostJavaGenTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.346 sec - in org.overture.codegen.tests.exec.PrePostJavaGenTest
Running org.overture.codegen.tests.exec.ExpJavaGenTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 160.263 sec - in org.overture.codegen.tests.exec.ExpJavaGenTest
Running org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Tests run: 51, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 117.592 sec - in org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Running org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 12.543 sec - in org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 38.851 sec - in org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Running org.overture.codegen.tests.exec.TracesStateJavaGenTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 33.799 sec - in org.overture.codegen.tests.exec.TracesStateJavaGenTest
Running org.overture.codegen.tests.exec.IsExpJavaGenTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 24.03 sec - in org.overture.codegen.tests.exec.IsExpJavaGenTest
Running org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 9.674 sec - in org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Running org.overture.codegen.tests.exec.RtJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.947 sec - in org.overture.codegen.tests.exec.RtJavaGenTest
Running org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 39.932 sec - in org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Running org.overture.codegen.tests.exec.SlJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 49.735 sec - in org.overture.codegen.tests.exec.SlJavaGenTest
Running org.overture.codegen.tests.exec.TracesSlJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.722 sec - in org.overture.codegen.tests.exec.TracesSlJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.574 sec - in org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Running org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 20.553 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: 0.657 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.302 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.425 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: 0.684 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.13 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.203 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.141 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.288 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.551 sec - in org.overture.codegen.tests.output.ConfiguredStringOutputTest
Running org.overture.codegen.tests.output.ComplexExpOutputTest
Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.374 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.412 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.092 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.078 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.392 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.274 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.565 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.213 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.164 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.317 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: 1.445 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.501 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.668 sec - in org.overture.codegen.tests.output.ConcurrencyOutputTest
Results :
Tests run: 1479, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/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] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.pom
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 1 second
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to JML Generator Runtime 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml-runtime ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml-runtime ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml-runtime ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml-runtime ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml-runtime ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml-runtime ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ vdm2jml-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ vdm2jml-runtime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar
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 VDM to JML Generator 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-resources-plugin:2.7:copy-resources (copy-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 24 resources
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 37 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 383 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 46 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.vdm2jml.tests.RecInvTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.059 sec - in org.overture.vdm2jml.tests.RecInvTests
Running org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.045 sec - in org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Running org.overture.vdm2jml.tests.PreCondNoStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.266 sec - in org.overture.vdm2jml.tests.PreCondNoStateTests
Running org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.016 sec - in org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.007 sec - in org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Running org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Running org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.011 sec - in org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.015 sec - in org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Running org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.063 sec - in org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.013 sec - in org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.04 sec - in org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.018 sec - in org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Tests run: 9, Failures: 0, Errors: 0, Skipped: 9, Time elapsed: 0.016 sec - in org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.032 sec - in org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Running org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Running org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Running org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.012 sec - in org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Running org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Running org.overture.vdm2jml.tests.TypeDependencyTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.045 sec - in org.overture.vdm2jml.tests.TypeDependencyTests
Running org.overture.vdm2jml.tests.JmlOutputTests
Tests run: 85, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 8.309 sec - in org.overture.vdm2jml.tests.JmlOutputTests
Running org.overture.vdm2jml.tests.StateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec - in org.overture.vdm2jml.tests.StateTests
Running org.overture.vdm2jml.tests.V2JCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.V2JCallTests
Running org.overture.vdm2jml.tests.LeafTypeCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.LeafTypeCallTests
Running org.overture.vdm2jml.tests.PurityTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.PurityTests
Running org.overture.vdm2jml.tests.PostCondWithStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.029 sec - in org.overture.vdm2jml.tests.PostCondWithStateTests
Running org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.166 sec - in org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Running org.overture.vdm2jml.tests.NameGenTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.018 sec - in org.overture.vdm2jml.tests.NameGenTests
Running org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.463 sec - in org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Running org.overture.vdm2jml.tests.PreCondWithStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.032 sec - in org.overture.vdm2jml.tests.PreCondWithStateTests
Running org.overture.vdm2jml.tests.PostCondNoStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec - in org.overture.vdm2jml.tests.PostCondNoStateTests
Results :
Tests run: 278, Failures: 0, Errors: 0, Skipped: 110
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml ---
[INFO] Analyzed bundle 'The VDM to JML Generator' with 37 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-dependency-plugin:2.10:copy (copy) @ vdm2jml ---
[INFO] Configured Artifact: org.overturetool.core.codegen:codegen-runtime:2.7.3-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core.codegen:vdm2jml-runtime:2.7.3-SNAPSHOT:jar
[INFO] Copying codegen-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/jml/lib/codegen-runtime.jar
[INFO] Copying vdm2jml-runtime-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/jml/lib/vdm2jml-runtime.jar
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ vdm2jml ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.pom
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 Maven Plugin 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-plugin ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-plugin ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-plugin-plugin:3.3:descriptor (default-descriptor) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to read mojo metadata.
[INFO] Applying mojo extractor for language: java
[INFO] Mojo extractor for language: java found 1 mojo descriptors.
[INFO] Applying mojo extractor for language: bsh
[INFO] Mojo extractor for language: bsh found 0 mojo descriptors.
[INFO] Applying mojo extractor for language: java-annotations
[INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors.
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:2.4:compile (default-compile) @ codegen-plugin ---
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/classes
[INFO]
[INFO] --- maven-plugin-plugin:3.3:descriptor (mojo-descriptor) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to read mojo metadata.
[INFO] Applying mojo extractor for language: java
[INFO] Mojo extractor for language: java found 1 mojo descriptors.
[INFO] Applying mojo extractor for language: bsh
[INFO] Mojo extractor for language: bsh found 0 mojo descriptors.
[INFO] Applying mojo extractor for language: java-annotations
[INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors.
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:2.4:testCompile (default-testCompile) @ codegen-plugin ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-plugin ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-plugin ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- maven-plugin-plugin:3.3:addPluginArtifactMetadata (default-addPluginArtifactMetadata) @ codegen-plugin ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-plugin ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-plugin ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-plugin ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.pom
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 VDM to Isabelle Translator 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isagen ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- astcreator-plugin:1.6.8:generate (generate-ast) @ isagen ---
[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] Extension base dependency is: "org.overturetool.core.codegen:ir"
[INFO] Searching for base dependency artifact
[INFO] Extension base artifact found - exstracting base tree definition files
[INFO] Setting base definition files to:
[INFO] base: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast
[INFO] base tostring: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast.tostring
[INFO] Extension base artifact configured.
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast
[INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/src/main/resources/isair.ast
Generating base and extension tree, standby ...
Extension tree only: true
Adding aspect fields: PIRBase.{sourceNode,tag,metaData}
WARNING: Using SubProduction class found without using package name. SImportsIRBase
WARNING: Using SubProduction class found without using package name. SImportIRBase
Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName}
Adding aspect fields: SValueImportBase.{importType}
WARNING: Using SubProduction class found without using package name. SExportsIRBase
WARNING: Using SubProduction class found without using package name. SExportIRBase
Adding aspect fields: SExportIRBase.{decl}
WARNING: Using SubProduction class found without using package name. SPatternIRBase
WARNING: Using SubProduction class found without using package name. SBindIRBase
Adding aspect fields: SBindIRBase.{pattern}
WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase
Adding aspect fields: SMultipleBindIRBase.{patterns}
WARNING: Using SubProduction class found without using package name. SNameIRBase
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs}
WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase
Adding aspect fields: SStateDesignatorIRBase.{type}
WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase
WARNING: Using SubProduction class found without using package name. SLocalParamIRBase
WARNING: Using SubProduction class found without using package name. SStmIRBase
Adding aspect fields: SCallStmBase.{type,isStatic,name,args}
WARNING: Using SubProduction class found without using package name. SLetBeStIRBase
WARNING: Using SubProduction class found without using package name. SExpIRBase
Adding aspect fields: SExpIRBase.{type}
WARNING: Using SubProduction class found without using package name. SModifierIRBase
Adding aspect fields: SIsExpBase.{exp}
Adding aspect fields: SVarExpBase.{isLambda,isLocal,name}
Adding aspect fields: SQuantifierExpBase.{bindList,predicate}
Adding aspect fields: SBinaryExpBase.{left,right}
Adding aspect fields: SUnaryExpBase.{exp}
WARNING: Using SubProduction class found without using package name. STypeIRBase
Adding aspect fields: STypeIRBase.{optional,namedInvType}
Adding aspect fields: SSetTypeBase.{empty,setOf}
Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf}
Adding aspect fields: SMapTypeBase.{empty,injective,from,to}
WARNING: Using SubProduction class found without using package name. STermIRBase
WARNING: Using SubProduction class found without using package name. STraceDeclIRBase
WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase
Retry Create interfaces - with 17 not yet created interfaces.
Done creating interfaces
Generating toString add on...
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Done creating interfaces
Generating toString add on...
Failed to lookup tostring addition with %AIsaclassClassIR @ line 8 38:53
***********************************************
AST Creator Extensions
***********************************************
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Writing sources to the file system, standby ...
Destination: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/generated-sources/astCreator
Copying base classes to destination...
Writing source files.:
..............
File write completed in 0 secs
Created AST with extensions.
[INFO]
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ isagen ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/generated-sources/astCreator added.
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 65 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 24 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 144 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isagen ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overturetool.cgisa.IsaGenFileExpTest
Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.093 sec - in org.overturetool.cgisa.IsaGenFileExpTest
Running org.overturetool.cgisa.IsaGenModelTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in org.overturetool.cgisa.IsaGenModelTest
Running org.overturetool.cgisa.IsaGenParamTest
Tests run: 48, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.868 sec - in org.overturetool.cgisa.IsaGenParamTest
Results :
Tests run: 73, Failures: 0, Errors: 0, Skipped: 3
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isagen ---
[INFO] Analyzed bundle 'The VDM to Isabelle Translator' with 19 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isagen ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ isagen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.pom
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 POG - Isagen Integration 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isapog ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isapog ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/isapog/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/../../documentation/examples
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isapog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 2 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 7 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isapog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isapog ---
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.isapog.ThyWriteTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.833 sec - in org.overture.isapog.ThyWriteTest
Running org.overture.isapog.IsaPogIntegrationTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.023 sec - in org.overture.isapog.IsaPogIntegrationTest
Results :
Tests run: 4, Failures: 0, Errors: 0, Skipped: 3
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isapog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isapog ---
[INFO] Analyzed bundle 'POG - Isagen Integration' with 2 classes
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isapog ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ isapog ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.pom
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 VDM Annotations 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ annotations ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ annotations ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/annotations/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ annotations ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ annotations ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ annotations ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/2.7.3-SNAPSHOT/annotations-2.7.3-SNAPSHOT.pom
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 Provided Annotations 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ provided ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ provided ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/annotations/provided/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ provided ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/classes
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ provided ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ provided ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ provided ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ provided ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ provided ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ provided ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.pom
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 Annotation Examples 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ examples ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ examples ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/annotations/examples/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ examples ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 2 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/classes
[INFO]
[JENKINS] Recording test results[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ examples ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ examples ---
[INFO] No tests to run.
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ examples ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ examples ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ examples ---
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ examples ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.pom
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 Documentation 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ documentation ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ documentation ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/documentation/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ documentation ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/documentation/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ documentation ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/2.7.3-SNAPSHOT/documentation-2.7.3-SNAPSHOT.pom
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 Overture release notes 2.7.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ releasenotes ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ releasenotes ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO]
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 80 resources to /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/classes/releasenotes
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ releasenotes ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ releasenotes ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ releasenotes ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ releasenotes ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.3-SNAPSHOT.jar
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ releasenotes ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ releasenotes ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.pom
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] Artifactory Build Info Recorder: Saving Build Info to '/var/lib/jenkins/workspace/overture-pvj-main/target/build-info.json'
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/2.7.3-SNAPSHOT/annotations-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/2.7.3-SNAPSHOT/core-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/2.7.3-SNAPSHOT/codegen-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/2.7.3-SNAPSHOT/combinatorialtesting-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/root/2.7.3-SNAPSHOT/root-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT-sources.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/2.7.3-SNAPSHOT/testing-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/documentation/2.7.3-SNAPSHOT/documentation-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/prettyprinting/2.7.3-SNAPSHOT/prettyprinting-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/pvj/org/overturetool/core/codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.pom
[INFO] Artifactory Build Info Recorder: Deploying build info ...
[INFO] Deploying build descriptor to: http://overture.au.dk:8081/artifactory/api/build
[INFO] Build successfully deployed. Browse it in Artifactory under http://overture.au.dk:8081/artifactory/webapp/builds/overture-pvj-main/165
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] The Overture Tool Platform root ................... SUCCESS [2.805s]
[INFO] Overture External Resources ....................... SUCCESS [5.373s]
[INFO] Core Tools ........................................ SUCCESS [1.077s]
[INFO] The Overture Abstract Syntax Tree ................. SUCCESS [37.316s]
[INFO] Test Framework for Overture ....................... SUCCESS [1.095s]
[INFO] The VDM parser .................................... SUCCESS [13.825s]
[INFO] The VDM Type Checker .............................. SUCCESS [39.151s]
[INFO] Overture Testing .................................. SUCCESS [0.258s]
[INFO] Overture Testing Framework ........................ SUCCESS [0.956s]
[INFO] Overture Sample Tests ............................. SUCCESS [29.455s]
[INFO] VDM Pretty Printing ............................... SUCCESS [0.267s]
[INFO] The VDM Pretty Printer ............................ SUCCESS [1.468s]
[INFO] The Proof Obligation Generator .................... SUCCESS [14.292s]
[INFO] The VDM Interpreter ............................... SUCCESS [34.814s]
[INFO] Combinatorial Testing ............................. SUCCESS [0.262s]
[INFO] Combinatorial Testing Utilities ................... SUCCESS [0.792s]
[INFO] Combinatorial Testing Runtime ..................... SUCCESS [31.821s]
[INFO] New Pretty Printer ................................ SUCCESS [3.133s]
[INFO] Overture Core Command Line Tool ................... SUCCESS [5.581s]
[INFO] Code Generation ................................... SUCCESS [0.283s]
[INFO] The Intermediate Representation Tree .............. SUCCESS [16.680s]
[INFO] The Code Generation Platform ...................... SUCCESS [7.887s]
[INFO] The Java Code Generator Runtime ................... SUCCESS [5.764s]
[INFO] The Java Code Generator Testing ................... SUCCESS [1.074s]
[INFO] The Java Code Generator ........................... SUCCESS [17:17.125s]
[INFO] The VDM to JML Generator Runtime .................. SUCCESS [0.894s]
[INFO] The VDM to JML Generator .......................... SUCCESS [19.622s]
[INFO] The Java Code Generator Maven Plugin .............. SUCCESS [10.125s]
[INFO] The VDM to Isabelle Translator .................... SUCCESS [9.159s]
[INFO] POG - Isagen Integration .......................... SUCCESS [4.708s]
[INFO] VDM Annotations ................................... SUCCESS [0.310s]
[INFO] Provided Annotations .............................. SUCCESS [0.782s]
[INFO] Annotation Examples ............................... SUCCESS [3.846s]
[INFO] Documentation ..................................... SUCCESS [0.251s]
[INFO] The Overture release notes ........................ SUCCESS [0.742s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 23:42.356s
[INFO] Finished at: Thu Oct 17 12:28:27 CEST 2019
[INFO] Final Memory: 76M/496M
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/pom.xml to org.overturetool.core.codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.3-SNAPSHOT-sources.jar to org.overturetool.core.codegen/codegen-runtime/2.7.3-SNAPSHOT/codegen-runtime-2.7.3-SNAPSHOT-sources.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/pom.xml to org.overturetool.core/annotations/2.7.3-SNAPSHOT/annotations-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/pom.xml to org.overturetool.core.annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.3-SNAPSHOT.jar to org.overturetool.core.annotations/provided/2.7.3-SNAPSHOT/provided-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pom.xml to org.overturetool/core/2.7.3-SNAPSHOT/core-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/ast/pom.xml to org.overturetool.core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/ast-2.7.3-SNAPSHOT.jar to org.overturetool.core/ast/2.7.3-SNAPSHOT/ast-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/pom.xml to org.overturetool.core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.3-SNAPSHOT.jar to org.overturetool.core/isapog/2.7.3-SNAPSHOT/isapog-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/pom.xml to org.overturetool.core.testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/framework-2.7.3-SNAPSHOT.jar to org.overturetool.core.testing/framework/2.7.3-SNAPSHOT/framework-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/pom.xml to org.overturetool.core/combinatorialtesting/2.7.3-SNAPSHOT/combinatorialtesting-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/pom.xml to org.overturetool.core.prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.3-SNAPSHOT.jar to org.overturetool.core.prettyprinting/prettyprinter/2.7.3-SNAPSHOT/prettyprinter-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/pom.xml to org.overturetool/root/2.7.3-SNAPSHOT/root-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/pom.xml to org.overturetool.core.testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/samples-2.7.3-SNAPSHOT.jar to org.overturetool.core.testing/samples/2.7.3-SNAPSHOT/samples-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/pom.xml to org.overturetool/documentation/2.7.3-SNAPSHOT/documentation-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/pom.xml to org.overturetool.core.codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/ir/2.7.3-SNAPSHOT/ir-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/pom.xml to org.overturetool.core.codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/isagen/2.7.3-SNAPSHOT/isagen-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/pom.xml to org.overturetool.core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.3-SNAPSHOT.jar to org.overturetool.core/npp/2.7.3-SNAPSHOT/npp-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/pom.xml to org.overturetool.core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/testframework-2.7.3-SNAPSHOT.jar to org.overturetool.core/testframework/2.7.3-SNAPSHOT/testframework-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/pom.xml to org.overturetool.core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT.jar to org.overturetool.core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar to org.overturetool.core/commandlinetool/2.7.3-SNAPSHOT/commandlinetool-2.7.3-SNAPSHOT-jar-with-dependencies.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/pom.xml to org.overturetool.core.annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.3-SNAPSHOT.jar to org.overturetool.core.annotations/examples/2.7.3-SNAPSHOT/examples-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/pom.xml to org.overturetool.core/codegen/2.7.3-SNAPSHOT/codegen-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/pom.xml to org.overturetool.core.codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/javagen/2.7.3-SNAPSHOT/javagen-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/pom.xml to org.overturetool.core.codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml/2.7.3-SNAPSHOT/vdm2jml-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/pom.xml to org.overturetool.core/testing/2.7.3-SNAPSHOT/testing-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/pom.xml to org.overturetool.documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.3-SNAPSHOT.jar to org.overturetool.documentation/releasenotes/2.7.3-SNAPSHOT/releasenotes-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/pom.xml to org.overturetool.core/prettyprinting/2.7.3-SNAPSHOT/prettyprinting-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/pom.xml to org.overturetool.core.codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/platform/2.7.3-SNAPSHOT/platform-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/pom.xml to org.overturetool.core.codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-plugin/2.7.3-SNAPSHOT/codegen-plugin-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/pom.xml to org.overturetool.core.codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.7.3-SNAPSHOT/vdm2jml-runtime-2.7.3-SNAPSHOT-sources.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/externals/pom.xml to org.overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/externals/target/externals-2.7.3-SNAPSHOT.jar to org.overturetool/externals/2.7.3-SNAPSHOT/externals-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/pom.xml to org.overturetool.core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.3-SNAPSHOT.jar to org.overturetool.core/typechecker/2.7.3-SNAPSHOT/typechecker-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/pom.xml to org.overturetool.core.codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.3-SNAPSHOT.jar to org.overturetool.core.codegen/javagen-test/2.7.3-SNAPSHOT/javagen-test-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/pom.xml to org.overturetool.core.combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/ctutils-2.7.3-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctutils/2.7.3-SNAPSHOT/ctutils-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pog/pom.xml to org.overturetool.core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.3-SNAPSHOT.jar to org.overturetool.core/pog/2.7.3-SNAPSHOT/pog-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/pom.xml to org.overturetool.core.combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/ctruntime-2.7.3-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctruntime/2.7.3-SNAPSHOT/ctruntime-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/parser/pom.xml to org.overturetool.core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/parser-2.7.3-SNAPSHOT.jar to org.overturetool.core/parser/2.7.3-SNAPSHOT/parser-2.7.3-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/pom.xml to org.overturetool.core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/interpreter-2.7.3-SNAPSHOT.jar to org.overturetool.core/interpreter/2.7.3-SNAPSHOT/interpreter-2.7.3-SNAPSHOT.jar
channel stopped
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@2a5041d9[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=213752,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Thu, 17 Oct 2019 10:28:37 GMT], ETag=["9268fafd79658152d76c8fd360bafb25"], Last-Modified=[Thu, 17 Oct 2019 10:01:34 GMT], OkHttp-Received-Millis=[1571308117867], OkHttp-Response-Source=[CONDITIONAL_CACHE 304], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1571308117651], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[304 Not Modified], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[D1D2:1482C:C0EB8D6:E935095:5DA84255], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[5000], X-RateLimit-Reset=[1571311717], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:c354db8) with context:overture-pvj-main
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/c354db831f18c5e7368563bba4e85866232b541f
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 2 second
No mail will be sent out, as 'overture-pvj-main #165' does not have a result yet. Please make sure you set a proper result in case of pipeline/build scripts.
Finished: SUCCESS
![[Jenkins]](/jenkins/static/aeeb6498/images/jenkins-header-logo-v2.svg){kind=logo}
