Console Output

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 Proof Obligation Generator 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ pog ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ pog ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/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/pog/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- astcreator-plugin:1.6.10:generate (generate-ast) @ pog ---
[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] 	Extension base dependency is: "org.overturetool.core:ast"
[INFO] 	Searching for base dependency artifact
[INFO] 	Extension base artifact found - exstracting base tree definition files
[INFO] 	Setting base definition files to:
[INFO] 		base: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2
[INFO] 		base tostring: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2.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/pog/target/overtureII.astv2
[INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/src/main/resources/pof.ast
Generating base and extension tree, standby ... 
Extension tree only: true
Adding aspect fields: PExpBase.{type,location,comments}
Adding aspect fields: SUnaryExpBase.{exp}
Adding aspect fields: SBinaryExpBase.{left,op,right}
Adding aspect fields: SSetExpBase.{setType}
Adding aspect fields: PTypeBase.{location,resolved,definitions}
Adding aspect fields: SSeqTypeBase.{seqof,empty}
Adding aspect fields: SSetTypeBase.{setof,empty,infinite}
Adding aspect fields: SMapTypeBase.{from,to,empty}
Adding aspect fields: SInvariantTypeBase.{inNarrower,opaque,invDef,eqDef,ordDef}
Adding aspect fields: PPatternBase.{location,definitions,resolved}
Adding aspect fields: PPairBase.{resolved}
Adding aspect fields: PBindBase.{location,pattern}
Adding aspect fields: PMultipleBindBase.{location,plist}
Adding aspect fields: PDefinitionBase.{location,name,nameScope,used,classDefinition,access,type,pass,comments,annotations}
Adding aspect fields: SFunctionDefinitionBase.{typeParams,body,precondition,postcondition,measure,measureDef,measureName,predef,postdef,recursive,isUndefined,expectedResult,actualResult}
Adding aspect fields: SOperationDefinitionBase.{body,precondition,postcondition,predef,postdef,state,actualResult,isConstructor,possibleExceptions}
Adding aspect fields: PRelationBase.{location,lhsPattern,rhsPattern,relExp,relDef}
Adding aspect fields: PTraceDefinitionBase.{location}
Adding aspect fields: PTraceCoreDefinitionBase.{location}
Adding aspect fields: SClassDefinitionBase.{supertypes,supernames,definitions,allInheritedDefinitions,localInheritedDefinitions,hasContructors,settingHierarchy,superDefs,gettingInheritable,superInheritedDefinitions,gettingInvDefs,isAbstract,isUndefined,classtype,typeChecked,invariant}
Adding aspect fields: PImportBase.{location,name,renamed,from}
Adding aspect fields: SValueImportBase.{importType}
Adding aspect fields: PExportBase.{location,definition}
Adding aspect fields: PStmBase.{location,type,comments}
Adding aspect fields: SSimpleBlockStmBase.{statements}
Adding aspect fields: PStateDesignatorBase.{location,type}
Adding aspect fields: PObjectDesignatorBase.{location}
Adding aspect fields: PAnnotationBase.{name,args,impl}
Retry Create interfaces - with 1 not yet created interfaces.
Done creating interfaces
WARNING: Field "_type" in class AExplicitFunctionDefinition with type "AFunctionType" specializes "PType"
WARNING: Field "_type" in class AImplicitFunctionDefinition with type "AFunctionType" specializes "PType"
Generating toString add on...
Done creating interfaces
Generating toString add on...
***********************************************
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/pog/target/generated-sources/astCreator
Copying base classes to destination...
Writing source files.:
............
File write completed in 1 secs
Created AST with extensions.
[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ pog ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ pog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ pog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 105 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ pog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 329 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ pog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ pog ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.pog.tests.VariableSubTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.31 sec - in org.overture.pog.tests.VariableSubTest
Running org.overture.pog.tests.newtests.PogBasicTest
Tests run: 39, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.184 sec - in org.overture.pog.tests.newtests.PogBasicTest
Running org.overture.pog.tests.newtests.PogBugRegressionTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.174 sec - in org.overture.pog.tests.newtests.PogBugRegressionTest
Running org.overture.pog.tests.newtests.PogTypeIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.119 sec - in org.overture.pog.tests.newtests.PogTypeIntegrityTest
Running org.overture.pog.tests.newtests.VarDefIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.048 sec - in org.overture.pog.tests.newtests.VarDefIntegrityTest
Running org.overture.pog.tests.newtests.PogIntegrationTest
Tests run: 50, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.387 sec - in org.overture.pog.tests.newtests.PogIntegrationTest

Results :

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

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ pog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ pog ---
[INFO] Analyzed bundle 'The Proof Obligation Generator' with 91 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ pog ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ pog ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/pog/2.7.5-SNAPSHOT/pog-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pog/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/pog/2.7.5-SNAPSHOT/pog-2.7.5-SNAPSHOT.pom