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 3.0.0 [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-master/.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-master/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-master/core/codegen/isagen/target/ir.ast [INFO] base tostring: /var/lib/jenkins/workspace/overture-master/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-master/core/codegen/isagen/target/ir.ast [INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-master/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 8 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-master/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-master/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-master/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-master/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: 1.638 sec - in org.overturetool.cgisa.IsaGenFileExpTest Running org.overturetool.cgisa.IsaGenModelTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overturetool.cgisa.IsaGenModelTest Running org.overturetool.cgisa.IsaGenParamTest Tests run: 48, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.644 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-master/core/codegen/isagen/target/isagen-3.0.0.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] 4 warnings [WARNING] Javadoc Warnings [WARNING] /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/src/main/java/org/overturetool/cgisa/transformations/GroupMutRecs.java:28: error: package org.overture.cgisa.isair.analysis does not exist [WARNING] import org.overture.cgisa.isair.analysis.DepthFirstAnalysisIsaAdaptor; [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/src/main/java/org/overturetool/cgisa/transformations/GroupMutRecs.java:29: error: package org.overture.cgisa.isair.declarations does not exist [WARNING] import org.overture.cgisa.isair.declarations.AMrFuncGroupDeclIR; [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/src/main/java/org/overturetool/cgisa/transformations/GroupMutRecs.java:40: error: cannot find symbol [WARNING] public class GroupMutRecs extends DepthFirstAnalysisIsaAdaptor implements [WARNING] ^ [WARNING] symbol: class DepthFirstAnalysisIsaAdaptor [WARNING] /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/src/main/java/org/overturetool/cgisa/IsaGen.java:88: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [INFO] Building jar: /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/target/isagen-3.0.0-javadoc.jar [INFO] [INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ isagen --- [INFO] Disabled [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ isagen --- [INFO] Installing /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/target/isagen-3.0.0.jar to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/core/codegen/isagen/3.0.0/isagen-3.0.0.jar [INFO] Installing /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/pom.xml to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/core/codegen/isagen/3.0.0/isagen-3.0.0.pom [INFO] Installing /var/lib/jenkins/workspace/overture-master/core/codegen/isagen/target/isagen-3.0.0-javadoc.jar to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/core/codegen/isagen/3.0.0/isagen-3.0.0-javadoc.jar