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 The C Code Generator VDM library sources 0.1.17-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ vdmclib ---
[INFO] Deleting /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/target
[TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib' 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) @ vdmclib ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdmclib ---
[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/vdmclib/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) @ vdmclib ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 75 resources to /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/target/classes/src
[INFO] 
[INFO] --- maven-compiler-plugin:3.0:compile (default-compile) @ vdmclib ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdmclib ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdmclib ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19:test (default-test) @ vdmclib ---
[JENKINS] Recording test results[INFO] 
[INFO] --- maven-antrun-plugin:1.7:run (copy-dependencies) @ vdmclib ---

[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/vdmclib/CMakeFiles/progress.marks
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c && make -f CMakeFiles/Makefile2 vdmclib/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] [  1%] Building CXX object third_party/googletest/googletest/CMakeFiles/gtest.dir/src/gtest-all.cc.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest  -Wall -Wshadow -DGTEST_HAS_PTHREAD=1 -fexceptions -Wextra -Wno-unused-parameter -Wno-missing-field-initializers -o CMakeFiles/gtest.dir/src/gtest-all.cc.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/src/gtest-all.cc
     [exec] [  3%] Linking CXX static library libgtest.a
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/cmake -P CMakeFiles/gtest.dir/cmake_clean_target.cmake
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/cmake -E cmake_link_script CMakeFiles/gtest.dir/link.txt --verbose=1
     [exec] /usr/bin/ar qc libgtest.a  CMakeFiles/gtest.dir/src/gtest-all.cc.o
     [exec] /usr/bin/ranlib libgtest.a
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] [  3%] 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] [  5%] Building CXX object third_party/googletest/googletest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest  -Wall -Wshadow -DGTEST_HAS_PTHREAD=1 -fexceptions -Wextra -Wno-unused-parameter -Wno-missing-field-initializers -o CMakeFiles/gtest_main.dir/src/gtest_main.cc.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/src/gtest_main.cc
     [exec] [  7%] Linking CXX static library libgtest_main.a
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/cmake -P CMakeFiles/gtest_main.dir/cmake_clean_target.cmake
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest && /usr/bin/cmake -E cmake_link_script CMakeFiles/gtest_main.dir/link.txt --verbose=1
     [exec] /usr/bin/ar qc libgtest_main.a  CMakeFiles/gtest_main.dir/src/gtest_main.cc.o
     [exec] /usr/bin/ranlib libgtest_main.a
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] [  7%] Built target gtest_main
     [exec] make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.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/vdmclib /var/lib/jenkins/workspace/vdm2c-pvj/c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/CMakeFiles/vdmclib.dir/DependInfo.cmake --color=
     [exec] make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/build
     [exec] make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-pvj/c'
     [exec] [  9%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/PatternBindMatch.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/PatternBindMatch.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/PatternBindMatch.c
     [exec] [ 11%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/CSVLib.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/CSVLib.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/CSVLib.c
     [exec] [ 13%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/PrettyPrint.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/PrettyPrint.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/PrettyPrint.c
     [exec] [ 15%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/MATHLib.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/MATHLib.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/MATHLib.c
     [exec] [ 17%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/IOLib.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/IOLib.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/IOLib.c
     [exec] [ 19%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/TypedValue.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/TypedValue.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/TypedValue.c
     [exec] [ 21%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmClass.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmClass.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmClass.c
     [exec] [ 23%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmBasicTypes.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmBasicTypes.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmBasicTypes.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] [ 25%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmSeq.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmSeq.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmSeq.c
     [exec] [ 27%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmProduct.c.o
     [exec] [ 29%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmMap.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmProduct.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmProduct.c
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmMap.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmMap.c
     [exec] [ 31%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmGC.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmGC.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmGC.c
     [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] [ 33%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmSet.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmSet.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmSet.c
     [exec] [ 35%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmUnpackString.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/main/VdmUnpackString.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/VdmUnpackString.c
     [exec] [ 37%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/classes/A.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/classes/A.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/classes/A.c
     [exec] [ 39%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/classes/C.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/classes/C.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/classes/C.c
     [exec] [ 41%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/MyRec.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/records/MyRec.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/records/MyRec.c
     [exec] [ 43%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/classes/B.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/classes/B.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/classes/B.c
     [exec] [ 45%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/MyRec2.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/records/MyRec2.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/records/MyRec2.c
     [exec] [ 47%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/RecordTest.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/records/RecordTest.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/records/RecordTest.c
     [exec] [ 49%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/R1.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/records/R1.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/records/R1.c
     [exec] [ 50%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/typeoftest.c.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cc   -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -Wall -fmessage-length=0 -std=c89   -o CMakeFiles/vdmclib.dir/src/test/typeoftest.c.o   -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/typeoftest.c
     [exec] [ 52%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassATest.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassATest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassATest.cpp
     [exec] [ 54%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassCSV_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassCSV_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassCSV_Tests.cpp
     [exec] [ 56%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassCTest.cpp.o
     [exec] [ 58%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassBTest.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassCTest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassCTest.cpp
     [exec] [ 60%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassIO_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassIO_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassIO_Tests.cpp
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassBTest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassBTest.cpp
     [exec] [ 62%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPrivateCallABC_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassPrivateCallABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassPrivateCallABC_Tests.cpp
     [exec] [ 64%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPrivateFieldABC_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassPrivateFieldABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp
     [exec] [ 66%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPublicCallABC_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassPublicCallABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassPublicCallABC_Tests.cpp
     [exec] [ 68%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPublicFieldABC_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ClassPublicFieldABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ClassPublicFieldABC_Tests.cpp
     [exec] [ 70%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionForLoop.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionForLoop.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionForLoop.cpp
     [exec] [ 72%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsBoolean_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionsBoolean_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionsBoolean_Tests.cpp
     [exec] [ 74%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsNumeric_Tests.cpp.o
     [exec] [ 76%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsMap_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionsMap_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionsMap_Tests.cpp
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionsNumeric_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionsNumeric_Tests.cpp
     [exec] [ 78%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsProduct_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionsProduct_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionsProduct_Tests.cpp
     [exec] [ 80%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsSeq_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionsSeq_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionsSeq_Tests.cpp
     [exec] [ 82%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsSetRandom_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionsSetRandom_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp
     [exec] [ 84%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/Expressions_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/Expressions_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/Expressions_Tests.cpp
     [exec] [ 86%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsSet_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/ExpressionsSet_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/ExpressionsSet_Tests.cpp
     [exec] [ 88%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/GC_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/GC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/GC_Tests.cpp
     [exec] [ 90%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/PrettyPrint_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/PrettyPrint_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/PrettyPrint_Tests.cpp
     [exec] [ 92%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/Statements_Record_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/Statements_Record_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/Statements_Record_Tests.cpp
     [exec] [ 94%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/StructOffsetTest_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/StructOffsetTest_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/StructOffsetTest_Tests.cpp
     [exec] [ 96%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/TokenType_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/TokenType_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/TokenType_Tests.cpp
     [exec] [ 98%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/TypeofTest_Tests.cpp.o
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/c++    -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/main/classes -I/var/lib/jenkins/workspace/vdm2c-pvj/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include  -fmessage-length=0   -o CMakeFiles/vdmclib.dir/src/test/TypeofTest_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/src/test/TypeofTest_Tests.cpp
     [exec] [100%] Linking CXX executable target/vdmclib
     [exec] cd /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib && /usr/bin/cmake -E cmake_link_script CMakeFiles/vdmclib.dir/link.txt --verbose=1
     [exec] /usr/bin/c++    -fmessage-length=0   CMakeFiles/vdmclib.dir/src/main/CSVLib.c.o CMakeFiles/vdmclib.dir/src/main/IOLib.c.o CMakeFiles/vdmclib.dir/src/main/MATHLib.c.o CMakeFiles/vdmclib.dir/src/main/PatternBindMatch.c.o CMakeFiles/vdmclib.dir/src/main/PrettyPrint.c.o CMakeFiles/vdmclib.dir/src/main/TypedValue.c.o CMakeFiles/vdmclib.dir/src/main/VdmBasicTypes.c.o CMakeFiles/vdmclib.dir/src/main/VdmClass.c.o CMakeFiles/vdmclib.dir/src/main/VdmGC.c.o CMakeFiles/vdmclib.dir/src/main/VdmMap.c.o CMakeFiles/vdmclib.dir/src/main/VdmProduct.c.o CMakeFiles/vdmclib.dir/src/main/VdmSeq.c.o CMakeFiles/vdmclib.dir/src/main/VdmSet.c.o CMakeFiles/vdmclib.dir/src/main/VdmUnpackString.c.o CMakeFiles/vdmclib.dir/src/test/classes/A.c.o CMakeFiles/vdmclib.dir/src/test/classes/B.c.o CMakeFiles/vdmclib.dir/src/test/classes/C.c.o CMakeFiles/vdmclib.dir/src/test/records/MyRec.c.o CMakeFiles/vdmclib.dir/src/test/records/MyRec2.c.o CMakeFiles/vdmclib.dir/src/test/records/R1.c.o CMakeFiles/vdmclib.dir/src/test/records/RecordTest.c.o CMakeFiles/vdmclib.dir/src/test/typeoftest.c.o CMakeFiles/vdmclib.dir/src/test/ClassATest.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassBTest.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassCSV_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassCTest.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassIO_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPrivateCallABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPrivateFieldABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPublicCallABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPublicFieldABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionForLoop.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsBoolean_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsMap_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsNumeric_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsProduct_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsSeq_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsSetRandom_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsSet_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/Expressions_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/GC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/PrettyPrint_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/Statements_Record_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/StructOffsetTest_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/TokenType_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/TypeofTest_Tests.cpp.o  -o target/vdmclib -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 vdmclib
     [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/vdmclib
     [exec]     Start 1: vdmclib-tests
     [exec] 1/1 Test #1: vdmclib-tests ....................   Passed    0.19 sec
     [exec] 
     [exec] 100% tests passed, 0 tests failed out of 1
     [exec] 
     [exec] Total Test time (real) =   0.19 sec
[INFO] Executed tasks
[INFO] 
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ vdmclib ---
[INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/target/vdmclib-0.1.17-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdmclib ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ vdmclib ---
[INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/target/vdmclib-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/c/vdmclib/0.1.17-SNAPSHOT/vdmclib-0.1.17-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/c/vdmclib/pom.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/c/vdmclib/0.1.17-SNAPSHOT/vdmclib-0.1.17-SNAPSHOT.pom