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
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output