SuccessConsole Output

Started by GitHub push by bandurvp
Building on master in workspace /var/lib/jenkins/workspace/vdm2c-vdmlib
 > /usr/bin/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > /usr/bin/git config remote.origin.url https://github.com/overturetool/vdm2c.git # timeout=10
Fetching upstream changes from https://github.com/overturetool/vdm2c.git
 > /usr/bin/git --version # timeout=10
 > /usr/bin/git -c core.askpass=true fetch --tags --progress https://github.com/overturetool/vdm2c.git +refs/heads/development:refs/remotes/origin/development
 > /usr/bin/git rev-parse refs/remotes/origin/development^{commit} # timeout=10
 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/development^{commit} # timeout=10
Checking out Revision 7d106b800600afe7ee9760b5d674a35aed40a185 (refs/remotes/origin/development)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f 7d106b800600afe7ee9760b5d674a35aed40a185
 > /usr/bin/git rev-list a884621b7f0e6225c756f070bcd775538402447e # timeout=10
 > /usr/bin/git remote # timeout=10
 > /usr/bin/git submodule init # timeout=10
 > /usr/bin/git submodule sync # timeout=10
 > /usr/bin/git config --get remote.origin.url # timeout=10
 > /usr/bin/git submodule update --init --recursive
[vdm2c-vdmlib] $ /bin/sh -xe /tmp/hudson376610199612162707.sh
+ cd c
+ cmake .
-- CPP files: 
-- C_GEN_FILES:  
-- Configuring done
-- Generating done
-- Build files have been written to: /var/lib/jenkins/workspace/vdm2c-vdmlib/c
+ make -j4
/usr/bin/cmake -H/var/lib/jenkins/workspace/vdm2c-vdmlib/c -B/var/lib/jenkins/workspace/vdm2c-vdmlib/c --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles/progress.marks
make -f CMakeFiles/Makefile2 all
make[1]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/depend
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/CMakeFiles/gtest.dir/DependInfo.cmake --color=
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/build
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make[2]: Nothing to be done for `third_party/googletest/googletest/CMakeFiles/gtest.dir/build'.
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles  49
[  2%] Built target gtest
make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/depend
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/CMakeFiles/gtest_main.dir/DependInfo.cmake --color=
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make[2]: Nothing to be done for `third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build'.
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles  50
[  4%] Built target gtest_main
make -f c-examples/CMakeFiles/c-examples.dir/build.make c-examples/CMakeFiles/c-examples.dir/depend
make -f generator-test/CMakeFiles/generator-test.dir/build.make generator-test/CMakeFiles/generator-test.dir/depend
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/CMakeFiles/generator-test.dir/DependInfo.cmake --color=
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/CMakeFiles/c-examples.dir/DependInfo.cmake --color=
Scanning dependencies of target generator-test
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f generator-test/CMakeFiles/generator-test.dir/build.make generator-test/CMakeFiles/generator-test.dir/build
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 38
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 39
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 40
[  8%] [  8%] [ 10%] Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/VdmSet.c.o
Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/VdmClass.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmClass.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmClass.c
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmSet.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmSet.c
Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/VdmProduct.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmProduct.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmProduct.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 41
Scanning dependencies of target c-examples
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f c-examples/CMakeFiles/c-examples.dir/build.make c-examples/CMakeFiles/c-examples.dir/build
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 42
[ 14%] [ 14%] Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/VdmMap.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmMap.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c
Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/PatternBindMatch.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/PatternBindMatch.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/PatternBindMatch.c
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 1
[ 16%] /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 2
Building C object c-examples/CMakeFiles/c-examples.dir/classes/B.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/classes/B.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes/B.c
[ 18%] Building C object c-examples/CMakeFiles/c-examples.dir/classes/A.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/classes/A.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes/A.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 43
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c: In function ‘print_iterator_short’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c:72:2: warning: format ‘%s’ expects argument of type ‘char *’, but argument 2 has type ‘gpointer’ [-Wformat=]
  printf("%s\n", item);
  ^
[ 20%] Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/PrettyPrint.c.o
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 15
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/PrettyPrint.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/PrettyPrint.c
[ 22%] /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 16
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 44
[ 24%] Building C object c-examples/CMakeFiles/c-examples.dir/tests/typeoftest.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/typeoftest.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/typeoftest.c
[ 26%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateCallABC_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassPrivateCallABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPrivateCallABC_Tests.cpp
Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/VdmBasicTypes.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmBasicTypes.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmBasicTypes.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 45
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 17
[ 28%] [ 30%] Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/IOLib.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/IOLib.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/IOLib.c
Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/HashTable_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/HashTable_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/HashTable_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 46
[ 32%] Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/TypedValue.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/TypedValue.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/TypedValue.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 47
[ 34%] Building C object generator-test/CMakeFiles/generator-test.dir/__/vdmclib/src/VdmSeq.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmSeq.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmSeq.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 48
[ 36%] Building C object generator-test/CMakeFiles/generator-test.dir/__/c-examples/tests/typeoftest.c.o
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 18
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/c-examples/tests/typeoftest.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/typeoftest.c
[ 38%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateFieldABC_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassPrivateFieldABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPrivateFieldABC_Tests.cpp
Linking CXX executable generator-test
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cmake -E cmake_link_script CMakeFiles/generator-test.dir/link.txt --verbose=1
/usr/bin/c++    -std=c++11 -fmessage-length=0    CMakeFiles/generator-test.dir/__/vdmclib/src/VdmSet.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmClass.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmProduct.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/PatternBindMatch.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmMap.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/PrettyPrint.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmBasicTypes.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/IOLib.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/TypedValue.c.o CMakeFiles/generator-test.dir/__/vdmclib/src/VdmSeq.c.o CMakeFiles/generator-test.dir/__/c-examples/tests/typeoftest.c.o  -o generator-test -rdynamic ../third_party/googletest/googletest/libgtest_main.a -lglib-2.0 ../third_party/googletest/googletest/libgtest.a -lpthread 
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles  38 39 40 41 42 43 44 45 46 47 48
[ 38%] Built target generator-test
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 19
[ 40%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassBTest.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassBTest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassBTest.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 20
[ 42%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsSetRandom_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionsSetRandom_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 21
[ 44%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/StructOffsetTest_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/StructOffsetTest_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/StructOffsetTest_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 22
[ 46%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsSeq_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionsSeq_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSeq_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 23
[ 48%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/Statements_Record_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/Statements_Record_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/Statements_Record_Tests.cpp
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1874:0,
                 from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:23:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setNotInSet_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:183:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:209:3: note: in expansion of macro ‘EXPECT_EQ’
   EXPECT_EQ(false, res->value.boolVal);
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setSubset_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:438:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setProperSubset_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:471:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:488:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setEquality_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:531:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setInequality_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:565:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setDinter_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:731:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:734:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setPower_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:760:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, col->size == pow(2, 5));
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSetRandom_Tests.cpp:793:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 24
[ 50%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsMap_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionsMap_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 25
[ 52%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPublicFieldABC_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassPublicFieldABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPublicFieldABC_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 26
[ 54%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsBoolean_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionsBoolean_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 27
[ 56%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPublicCallABC_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassPublicCallABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPublicCallABC_Tests.cpp
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1874:0,
                 from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:23:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapDomRestrictTo_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:263:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapDomRestrictBy_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:284:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapRngRestrictTo_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:305:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapRngRestrictBy_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:326:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapInverse_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:343:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapEquals_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:364:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, map_eq2);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapInEquals_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsMap_Tests.cpp:378:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, map_not_eq1);
  ^
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 28
[ 58%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsSet_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionsSet_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 29
[ 60%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassATest.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassATest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassATest.cpp
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1874:0,
                 from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp:23:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp: In member function ‘virtual void Expression_Boolean_andExp_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp:56:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ (false,res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp:75:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp:81:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp: In member function ‘virtual void Expression_Boolean_implicationExp_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp:157:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ (false,res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp:175:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp: In member function ‘virtual void Expression_Boolean_biimplicationExp_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsBoolean_Tests.cpp:198:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ (false,res->value.boolVal);
  ^
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 30
[ 62%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsNumeric_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionsNumeric_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsNumeric_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 31
[ 64%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassCTest.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassCTest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassCTest.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 32
[ 66%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassIO_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassIO_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassIO_Tests.cpp
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1874:0,
                 from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:23:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setGrow_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:81:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setFit_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:111:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setEnumerateSetOfInts_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:159:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setNotInSet_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:321:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:347:3: note: in expansion of macro ‘EXPECT_EQ’
   EXPECT_EQ(false, res->value.boolVal);
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setSubset_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:576:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setProperSubset_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:609:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:626:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setEquality_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:669:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setInequality_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:703:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setDinter_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:867:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setPower_Test::TestBody()’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:891:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, col->size == pow(2, 5));
  ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null]
     (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1)
                                                       ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’
   if (const ::testing::AssertionResult gtest_ar = (expression)) \
                                                    ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’
   GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_)
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’
   EXPECT_PRED_FORMAT2(::testing::internal:: \
   ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’
                       EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \
                                ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsSet_Tests.cpp:924:2: note: in expansion of macro ‘EXPECT_EQ’
  EXPECT_EQ(false, res->value.boolVal);
  ^
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 33
[ 68%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsProduct_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionsProduct_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionsProduct_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 34
[ 70%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/TypeofTest_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/TypeofTest_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/TypeofTest_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 35
[ 72%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionForLoop.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ExpressionForLoop.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ExpressionForLoop.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 36
[ 74%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/Expressions_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/Expressions_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/Expressions_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 37
[ 76%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/PrettyPrint_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/PrettyPrint_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/PrettyPrint_Tests.cpp
Linking CXX executable c-examples
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cmake -E cmake_link_script CMakeFiles/c-examples.dir/link.txt --verbose=1
/usr/bin/c++    -std=c++11 -fmessage-length=0    CMakeFiles/c-examples.dir/classes/B.c.o CMakeFiles/c-examples.dir/classes/A.c.o CMakeFiles/c-examples.dir/classes/C.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmSet.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmClass.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmProduct.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/PatternBindMatch.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmMap.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/PrettyPrint.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmBasicTypes.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/IOLib.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/TypedValue.c.o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmSeq.c.o CMakeFiles/c-examples.dir/records/R1.c.o CMakeFiles/c-examples.dir/tests/typeoftest.c.o CMakeFiles/c-examples.dir/tests/ClassPrivateCallABC_Tests.cpp.o CMakeFiles/c-examples.dir/tests/HashTable_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ClassPrivateFieldABC_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ClassBTest.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionsSetRandom_Tests.cpp.o CMakeFiles/c-examples.dir/tests/StructOffsetTest_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionsSeq_Tests.cpp.o CMakeFiles/c-examples.dir/tests/Statements_Record_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionsMap_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ClassPublicFieldABC_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionsBoolean_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ClassPublicCallABC_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionsSet_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ClassATest.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionsNumeric_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ClassCTest.cpp.o CMakeFiles/c-examples.dir/tests/ClassIO_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionsProduct_Tests.cpp.o CMakeFiles/c-examples.dir/tests/TypeofTest_Tests.cpp.o CMakeFiles/c-examples.dir/tests/ExpressionForLoop.cpp.o CMakeFiles/c-examples.dir/tests/Expressions_Tests.cpp.o CMakeFiles/c-examples.dir/tests/PrettyPrint_Tests.cpp.o  -o c-examples -rdynamic ../third_party/googletest/googletest/libgtest_main.a -lglib-2.0 ../third_party/googletest/googletest/libgtest.a -lpthread 
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
[100%] Built target c-examples
make[1]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 0
+ make test
Running tests...
/usr/bin/ctest --force-new-ctest-process 
Test project /var/lib/jenkins/workspace/vdm2c-vdmlib/c
    Start 1: AllTestsIn-c-examples
1/2 Test #1: AllTestsIn-c-examples ............   Passed    0.07 sec
    Start 2: AllTestsIn-generator-test
2/2 Test #2: AllTestsIn-generator-test ........   Passed    0.00 sec

100% tests passed, 0 tests failed out of 2

Total Test time (real) =   0.08 sec
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
Finished: SUCCESS