Console 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 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 #183
[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.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (copy-dependencies) @ vdmclibdist ---
[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] [ 20%] 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] [ 25%] 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] [ 29%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/serialise.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] [ 33%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/basicTypes.c.o
[exec] [ 37%] 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/basicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclibdist/src/main/basicTypes.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] [ 41%] 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/CSVLib.c.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/CSVLib.c
[exec] [ 45%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/IOLib.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] [ 50%] 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] [ 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] [ 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] /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] 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/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] /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] [ 91%] 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] [ 95%] 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] [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
![[Jenkins]](/jenkins/static/aeeb6498/images/jenkins-header-logo-v2.svg){kind=logo}
