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 C Code Generator 0.1.17-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ vdm2c --- [INFO] Deleting /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/target [TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c' for files matching the pattern '**/*.java' - excludes: [TASKS] Found 134 files to scan for tasks Found 27 open tasks. [TASKS] Computing warning deltas based on reference build #184 [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2c --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2c --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/* [INFO] [INFO] --- astcreator-plugin:1.6.8:generate (generate-ast) @ vdm2c --- [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/vdm2c-pvj/core/vdm2c/target/ir.ast [INFO] base tostring: /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/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/vdm2c-pvj/core/vdm2c/target/ir.ast [INFO] Generator starting with extension input: /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/src/main/resources/ccg.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 14 not yet created interfaces. Done creating interfaces Generating toString add on... WARNING: Using SubProduction class found without using package name. SExpIRBase WARNING: Using SubProduction class found without using package name. SStmIRBase WARNING: Using SubProduction class found without using package name. SDeclIRBase 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/vdm2c-pvj/core/vdm2c/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.7:add-source (add-source) @ vdm2c --- [INFO] Source directory: /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/target/generated-sources/astCreator added. [INFO] [INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ vdm2c --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 91 resources [INFO] [INFO] --- maven-compiler-plugin:3.0:compile (default-compile) @ vdm2c --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 142 source files to /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/target/classes [WARNING] /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java: Some input files use unchecked or unsafe operations. [WARNING] /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/ClassAssocAnalysis.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdm2c --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 287 resources [INFO] [INFO] --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdm2c --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 26 source files to /var/lib/jenkins/workspace/vdm2c-pvj/core/vdm2c/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19:test (default-test) @ vdm2c --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.codegen.vdm2c.IsExpTypeEncoderTest Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.199 sec - in org.overture.codegen.vdm2c.IsExpTypeEncoderTest Running org.overture.codegen.vdm2c.ContractsTests Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 21.604 sec - in org.overture.codegen.vdm2c.ContractsTests Running org.overture.codegen.vdm2c.ValueTypeGarbageCollectionTests Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 24.849 sec - in org.overture.codegen.vdm2c.ValueTypeGarbageCollectionTests Running org.overture.codegen.vdm2c.ClassAssocAnalysisTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 sec - in org.overture.codegen.vdm2c.ClassAssocAnalysisTest Running org.overture.codegen.vdm2c.DistributionTests Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 15.94 sec - in org.overture.codegen.vdm2c.DistributionTests Running org.overture.codegen.vdm2c.IsExpUnionTypeFinderTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 sec - in org.overture.codegen.vdm2c.IsExpUnionTypeFinderTest Running org.overture.codegen.vdm2c.ValueTypesTests Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 15.963 sec - in org.overture.codegen.vdm2c.ValueTypesTests Running org.overture.codegen.vdm2c.NativeGarbageCollectionTest Started 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 Finished: ABORTED