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 #183
[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