SuccessConsole 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 C native root vdm2c 0.1.17-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ c ---
[INFO] Deleting /var/lib/jenkins/workspace/vdm2c-pvj/c/target
[TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-pvj/c' for files matching the pattern '**/*.java' - excludes: vdmclib/**/*, vdmclibdist/**/*
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #184
[INFO] 
[INFO] --- maven-antrun-plugin:1.7:run (clean) @ c ---
[INFO] Executing tasks

main:
     [exec] make -f CMakeFiles/Makefile2 clean
     [exec] make[1]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/clean
     [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/clean
     [exec] make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/clean
     [exec] make -f vdmclibdist/CMakeFiles/vdmclibdist.dir/build.make vdmclibdist/CMakeFiles/vdmclibdist.dir/clean
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/cmake -P CMakeFiles/gtest.dir/cmake_clean.cmake
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/cmake -P CMakeFiles/gtest_main.dir/cmake_clean.cmake
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cmake -P CMakeFiles/vdmclibdist.dir/cmake_clean.cmake
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cmake -P CMakeFiles/vdmclib.dir/cmake_clean.cmake
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] make[1]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
[INFO] Executed tasks
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ c ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ c ---
[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/c/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] --- maven-antrun-plugin:1.7:run (copy-dependencies) @ c ---
[INFO] Executing tasks

main:
     [exec] -- Configuring done
     [exec] -- Generating done
     [exec] -- Build files have been written to: /var/lib/jenkins/workspace/vdm2c-pvj/c
[INFO] Executed tasks
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ c ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-pvj/c/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ c ---
[INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/c/pom.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/c/0.1.17-SNAPSHOT/c-0.1.17-SNAPSHOT.pom

Results :

Tests run: 43, Failures: 0, Errors: 0, Skipped: 0

[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 15 iota=43
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 15 iota=43
[WARNING] Failed to notify spy hudson.maven.Maven3Builder$JenkinsEventSpy: java.util.concurrent.ExecutionException: Invalid object ID 8 iota=43
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] Overture VDM 2 C Translator Root .................. SUCCESS [7.083s]
[INFO] C native root vdm2c ............................... SUCCESS [3.019s]
[INFO] The C Code Generator VDM library sources .......... SUCCESS [22.173s]
[INFO] The C Code Generator VDM distribution library sources  SUCCESS [4.041s]
[INFO] Core Tools for vdm2c .............................. SUCCESS [2.228s]
[INFO] The C Code Generator .............................. FAILURE [3:23.055s]
[INFO] Overture FMI IDE Top-level ........................ SKIPPED
[INFO] The C Code Generator Plugin ....................... SKIPPED
[INFO] Overture IDE Eclipse VDM2C features ............... SKIPPED
[INFO] Overture IDE Eclipse C Code Generator feature ..... SKIPPED
[INFO] Overture IDE Eclipse repository ................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 5:02.773s
[INFO] Finished at: Wed Nov 29 11:42:31 CET 2017