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