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 VDM distribution library sources 0.1.17-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ vdmclibdist --- [INFO] Deleting /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/target [TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist' for files matching the pattern '**/*.java' - excludes: [TASKS] Found 0 files to scan for tasks Found 0 open tasks. [TASKS] Computing warning deltas based on reference build #184 [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdmclibdist --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdmclibdist --- [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/vdmclibdist/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-resources-plugin:2.6:resources (default-resources) @ vdmclibdist --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 10 resources to /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/target/classes/src [INFO] [INFO] --- maven-compiler-plugin:3.0:compile (default-compile) @ vdmclibdist --- [INFO] No sources to compile [INFO] [INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdmclibdist --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdmclibdist --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19:test (default-test) @ vdmclibdist --- [INFO] No tests to run. [INFO] [INFO] --- maven-antrun-plugin:1.7:run (copy-dependencies) @ vdmclibdist --- [JENKINS] Recording test results [INFO] Executing tasks main: [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c && /usr/bin/cmake -H/var/lib/jenkins/workspace/vdm2c-pvj/c -B/var/lib/jenkins/workspace/vdm2c-pvj/c --check-build-system CMakeFiles/Makefile.cmake 0 [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c && /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-pvj/c/CMakeFiles /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/CMakeFiles/progress.marks [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c && make -f CMakeFiles/Makefile2 vdmclibdist/all [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/depend [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-pvj/c /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-pvj/c /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/CMakeFiles/gtest.dir/DependInfo.cmake --color= [exec] make[2]: Leaving 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/build [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] make[2]: Nothing to be done for 'third_party/googletest/googletest/CMakeFiles/gtest.dir/build'. [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] [ 8%] Built target gtest [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/depend [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-pvj/c /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-pvj/c /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/CMakeFiles/gtest_main.dir/DependInfo.cmake --color= [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] make[2]: Nothing to be done for 'third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build'. [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] [ 16%] Built target gtest_main [exec] make -f vdmclibdist/CMakeFiles/vdmclibdist.dir/build.make vdmclibdist/CMakeFiles/vdmclibdist.dir/depend [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-pvj/c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist /var/lib/jenkins/workspace/vdm2c-pvj/c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/CMakeFiles/vdmclibdist.dir/DependInfo.cmake --color= [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] make -f vdmclibdist/CMakeFiles/vdmclibdist.dir/build.make vdmclibdist/CMakeFiles/vdmclibdist.dir/build [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c: In function ‘serialiseReal’: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:144:23: warning: passing argument 2 of ‘fromVdmReal2Real’ from incompatible pointer type [-Wincompatible-pointer-types] [exec] fromVdmReal2Real(&t, &val); [exec] ^ [exec] In file included from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.h:19:0, [exec] from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:3: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/asn1vdm.h:24:6: note: expected ‘VdmInteger * {aka long long int *}’ but argument is of type ‘VdmReal * {aka double *}’ [exec] void fromVdmReal2Real(TVP *s, VdmInteger *d); [exec] ^ [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c: In function ‘deserialiseReal’: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:166:17: warning: passing argument 1 of ‘VdmReal_Decode’ from incompatible pointer type [-Wincompatible-pointer-types] [exec] VdmReal_Decode(&res_ser, &bitStrmDec, &errCode); [exec] ^ [exec] In file included from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.h:6:0, [exec] from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:3: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/basicTypes.h:68:6: note: expected ‘VdmReal * {aka double *}’ but argument is of type ‘VdmInteger * {aka long long int *}’ [exec] flag VdmReal_Decode(VdmReal* pVal, BitStream* pBitStrm, int* pErrCode); [exec] ^ [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c: In function ‘serialiseRes’: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:210:24: warning: passing argument 2 of ‘fromVdmReal2Real’ from incompatible pointer type [-Wincompatible-pointer-types] [exec] fromVdmReal2Real(&t, &val); [exec] ^ [exec] In file included from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.h:19:0, [exec] from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:3: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/asn1vdm.h:24:6: note: expected ‘VdmInteger * {aka long long int *}’ but argument is of type ‘VdmReal * {aka double *}’ [exec] void fromVdmReal2Real(TVP *s, VdmInteger *d); [exec] ^ [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c: In function ‘deserialiseRes’: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:295:20: warning: passing argument 1 of ‘fromReal2VdmReal’ from incompatible pointer type [-Wincompatible-pointer-types] [exec] fromReal2VdmReal(&res_ser, &res); [exec] ^ [exec] In file included from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.h:19:0, [exec] from /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c:3: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/asn1vdm.h:25:6: note: expected ‘VdmInteger * {aka long long int *}’ but argument is of type ‘VdmReal * {aka double *}’ [exec] void fromReal2VdmReal(VdmInteger *s, TVP *d); [exec] ^ [exec] [ 20%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/serialise.c.o [exec] [ 25%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/asn1crt.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/serialise.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/serialise.c [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/asn1crt.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/asn1crt.c [exec] [ 29%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/real.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/real.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/real.c [exec] [ 33%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/asn1vdm.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/asn1vdm.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/asn1vdm.c [exec] [ 37%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/basicTypes.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/basicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/basicTypes.c [exec] [ 41%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/MATHLib.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/MATHLib.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/MATHLib.c [exec] [ 45%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/IOLib.c.o [exec] [ 50%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/CSVLib.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/IOLib.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/IOLib.c [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/CSVLib.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/CSVLib.c [exec] [ 54%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PatternBindMatch.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PatternBindMatch.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/PatternBindMatch.c [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/TypedValue.c: In function ‘vdmFree’: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/TypedValue.c:680:7: warning: unused variable ‘tmp’ [-Wunused-variable] [exec] TVP *tmp; [exec] ^ [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmGC.c: In function ‘vdm_gc’: [exec] /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmGC.c:158:6: warning: variable ‘tmp_loc’ set but not used [-Wunused-but-set-variable] [exec] TVP tmp_loc; [exec] ^ [exec] [ 58%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PrettyPrint.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PrettyPrint.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/PrettyPrint.c [exec] [ 62%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/TypedValue.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/TypedValue.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/TypedValue.c [exec] [ 66%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmBasicTypes.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmBasicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmBasicTypes.c [exec] [ 70%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmClass.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmClass.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmClass.c [exec] [ 75%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmGC.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmGC.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmGC.c [exec] [ 79%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmMap.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmMap.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmMap.c [exec] [ 83%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmProduct.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmProduct.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmProduct.c [exec] [ 87%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSet.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSet.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmSet.c [exec] [ 91%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSeq.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSeq.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmSeq.c [exec] [ 95%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmUnpackString.c.o [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmUnpackString.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmUnpackString.c [exec] [100%] Linking CXX executable target/vdmclibdist [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist && /usr/bin/cmake -E cmake_link_script CMakeFiles/vdmclibdist.dir/link.txt --verbose=1 [exec] /usr/bin/c++ -fmessage-length=0 CMakeFiles/vdmclibdist.dir/src/main/asn1crt.c.o CMakeFiles/vdmclibdist.dir/src/main/asn1vdm.c.o CMakeFiles/vdmclibdist.dir/src/main/basicTypes.c.o CMakeFiles/vdmclibdist.dir/src/main/real.c.o CMakeFiles/vdmclibdist.dir/src/main/serialise.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/CSVLib.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/IOLib.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/MATHLib.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PatternBindMatch.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PrettyPrint.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/TypedValue.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmBasicTypes.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmClass.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmGC.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmMap.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmProduct.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSeq.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSet.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmUnpackString.c.o -o target/vdmclibdist -rdynamic ../third_party/googletest/googletest/libgtest_main.a -lglib-2.0 ../third_party/googletest/googletest/libgtest.a -lpthread [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] [100%] Built target vdmclibdist [exec] make[1]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c' [exec] /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-pvj/c/CMakeFiles 0 [exec] Running tests... [exec] /usr/bin/ctest --force-new-ctest-process [exec] Test project /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist [exec] No tests were found!!! [INFO] Executed tasks [INFO] [INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ vdmclibdist --- [INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/target/vdmclibdist-0.1.17-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdmclibdist --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-install-plugin:2.4:install (default-install) @ vdmclibdist --- [INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/target/vdmclibdist-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/c/vdmclibdist/0.1.17-SNAPSHOT/vdmclibdist-0.1.17-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/pom.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/c/vdmclibdist/0.1.17-SNAPSHOT/vdmclibdist-0.1.17-SNAPSHOT.pom