Started by GitLab push by Victor Bandur 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 http://gitlab.au.dk/into-cps/vdm2c-exploration.git # timeout=10 Fetching upstream changes from http://gitlab.au.dk/into-cps/vdm2c-exploration.git > /usr/bin/git --version # timeout=10 > /usr/bin/git -c core.askpass=true fetch --tags --progress http://gitlab.au.dk/into-cps/vdm2c-exploration.git +refs/heads/master:refs/remotes/origin/master > /usr/bin/git rev-parse 40d4a6f5c23dc0b5200da53b1e10d1994109e7c7^{commit} # timeout=10 > /usr/bin/git branch -a --contains 40d4a6f5c23dc0b5200da53b1e10d1994109e7c7 # timeout=10 > /usr/bin/git rev-parse remotes/origin/master^{commit} # timeout=10 Checking out Revision 40d4a6f5c23dc0b5200da53b1e10d1994109e7c7 (origin/master) > /usr/bin/git config core.sparsecheckout # timeout=10 > /usr/bin/git checkout -f 40d4a6f5c23dc0b5200da53b1e10d1994109e7c7 > /usr/bin/git rev-list 432cab3eccc30668c5dcb23883c19aa5d623bc24 # 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/hudson7774204597337862342.sh + cmake . -- CPP files: -- C_GEN_FILES: -- Configuring done -- Generating done -- Build files have been written to: /var/lib/jenkins/workspace/vdm2c-vdmlib + make -j4 /usr/bin/cmake -H/var/lib/jenkins/workspace/vdm2c-vdmlib -B/var/lib/jenkins/workspace/vdm2c-vdmlib --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[1]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib' 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' cd /var/lib/jenkins/workspace/vdm2c-vdmlib && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/CMakeFiles/gtest.dir/DependInfo.cmake --color= make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib' 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' 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' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/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' cd /var/lib/jenkins/workspace/vdm2c-vdmlib && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/CMakeFiles/gtest_main.dir/DependInfo.cmake --color= make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib' 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' 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' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/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' cd /var/lib/jenkins/workspace/vdm2c-vdmlib && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/CMakeFiles/generator-test.dir/DependInfo.cmake --color= make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib' cd /var/lib/jenkins/workspace/vdm2c-vdmlib && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib/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' 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' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 38 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 45 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 46 [ 6%] [ 8%] [ 10%] Building C object generator-test/CMakeFiles/generator-test.dir/__/c-examples/lib/IO.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples/lib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/lib/IO.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/lib/IO.c Building C object generator-test/CMakeFiles/generator-test.dir/__/c-examples/lib/VdmBasicTypes.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples/lib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/lib/VdmBasicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/lib/VdmBasicTypes.c Building C object generator-test/CMakeFiles/generator-test.dir/__/c-examples/lib/TypedValue.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples/lib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/lib/TypedValue.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/lib/TypedValue.c Scanning dependencies of target c-examples make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib' make -f c-examples/CMakeFiles/c-examples.dir/build.make c-examples/CMakeFiles/c-examples.dir/build make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 1 [ 12%] Building C object c-examples/CMakeFiles/c-examples.dir/classes/B.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/classes/B.c /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 2 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 48 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 3 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 4 [ 14%] [ 18%] [ 20%] [ 18%] Building C object generator-test/CMakeFiles/generator-test.dir/__/c-examples/tests/typeoftest.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test/../c-examples/lib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/typeoftest.c Building C object c-examples/CMakeFiles/c-examples.dir/classes/A.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/classes/A.c Building C object c-examples/CMakeFiles/c-examples.dir/classes/C.c.o Building C object c-examples/CMakeFiles/c-examples.dir/lib/IO.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/C.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes/C.c cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/lib/IO.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/lib/IO.c /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 11 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 12 Linking CXX executable generator-test cd /var/lib/jenkins/workspace/vdm2c-vdmlib/generator-test && /usr/bin/cmake -E cmake_link_script CMakeFiles/generator-test.dir/link.txt --verbose=1 [ 22%] [ 24%] /usr/bin/c++ -std=c++11 -fmessage-length=0 CMakeFiles/generator-test.dir/__/c-examples/lib/IO.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/VdmSet.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/VdmClass.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/VdmProduct.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/PatternBindMatch.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/VdmMap.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/PrettyPrint.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/VdmBasicTypes.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/TypedValue.c.o CMakeFiles/generator-test.dir/__/c-examples/lib/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 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 14 Building C object c-examples/CMakeFiles/c-examples.dir/lib/VdmBasicTypes.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/lib/VdmBasicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/lib/VdmBasicTypes.c Building C object c-examples/CMakeFiles/c-examples.dir/lib/TypedValue.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/lib/TypedValue.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/lib/TypedValue.c [ 26%] Building C object c-examples/CMakeFiles/c-examples.dir/records/R1.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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/records/R1.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/records/R1.c /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 15 [ 28%] /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 16 Building C object c-examples/CMakeFiles/c-examples.dir/tests/typeoftest.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/typeoftest.c [ 30%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateCallABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassPrivateCallABC_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 17 [ 32%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/HashTable_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/HashTable_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 18 [ 34%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateFieldABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassPrivateFieldABC_Tests.cpp make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 38 39 40 41 42 43 44 45 46 47 48 [ 48%] Built target generator-test /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 19 [ 50%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassBTest.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassBTest.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 20 [ 52%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsSetRandom_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSetRandom_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 21 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 22 [ 54%] [ 56%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsSeq_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSeq_Tests.cpp Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/StructOffsetTest_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/StructOffsetTest_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 23 [ 58%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/Statements_Record_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/Statements_Record_Tests.cpp In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1878:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsSetRandom_Tests.cpp:23: /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setNotInSet_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setSubset_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setProperSubset_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setEquality_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setInequality_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setDinter_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSetRandom_Tests.cpp: In member function ‘virtual void Expression_SetRandom_setPower_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/CMakeFiles 24 [ 60%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsMap_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsMap_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 25 [ 62%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPublicFieldABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassPublicFieldABC_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 26 [ 64%] /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 27 Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsBoolean_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsBoolean_Tests.cpp [ 66%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPublicCallABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassPublicCallABC_Tests.cpp In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1878:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsMap_Tests.cpp:23: /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapDomRestrictTo_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapDomRestrictBy_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapRngRestrictTo_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapRngRestrictBy_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapInverse_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapEquals_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapInEquals_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/CMakeFiles 28 [ 68%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsSet_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1878:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsBoolean_Tests.cpp:23: /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsBoolean_Tests.cpp: In member function ‘virtual void Expression_Boolean_andExp_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsBoolean_Tests.cpp:52:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ (false,res->value.boolVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsBoolean_Tests.cpp: In member function ‘virtual void Expression_Boolean_implicationExp_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsBoolean_Tests.cpp:97:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ (false,res->value.boolVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsBoolean_Tests.cpp: In member function ‘virtual void Expression_Boolean_biimplicationExp_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsBoolean_Tests.cpp:114: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/CMakeFiles 29 [ 70%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassATest.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassATest.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 30 [ 72%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsNumeric_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsNumeric_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 31 [ 74%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassCTest.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassCTest.cpp In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1878:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsSet_Tests.cpp:23: /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setGrow_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setFit_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setEnumerateSetOfInts_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setNotInSet_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setSubset_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setProperSubset_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setEquality_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setInequality_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setDinter_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsSet_Tests.cpp: In member function ‘virtual void Expression_Set_setPower_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/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/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/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/third_party/googletest/googletest/include/gtest/gtest.h:1927:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/third_party/googletest/googletest/include/gtest/gtest.h:1928:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(expected)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/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/CMakeFiles 32 [ 76%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassIO_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ClassIO_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 33 [ 78%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionsProduct_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionsProduct_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 34 [ 80%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/TypeofTest_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/TypeofTest_Tests.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 35 [ 82%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ExpressionForLoop.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/ExpressionForLoop.cpp /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 36 [ 84%] /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 37 Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/Expressions_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/Expressions_Tests.cpp [ 86%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/PrettyPrint_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/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-examples/tests/PrettyPrint_Tests.cpp Linking CXX executable c-examples cd /var/lib/jenkins/workspace/vdm2c-vdmlib/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/lib/IO.c.o CMakeFiles/c-examples.dir/lib/VdmSet.c.o CMakeFiles/c-examples.dir/lib/VdmClass.c.o CMakeFiles/c-examples.dir/lib/VdmProduct.c.o CMakeFiles/c-examples.dir/lib/PatternBindMatch.c.o CMakeFiles/c-examples.dir/lib/VdmMap.c.o CMakeFiles/c-examples.dir/lib/PrettyPrint.c.o CMakeFiles/c-examples.dir/lib/VdmBasicTypes.c.o CMakeFiles/c-examples.dir/lib/TypedValue.c.o CMakeFiles/c-examples.dir/lib/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' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/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' /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-vdmlib/CMakeFiles 0 + make test Running tests... /usr/bin/ctest --force-new-ctest-process Test project /var/lib/jenkins/workspace/vdm2c-vdmlib Start 1: AllTestsIn-c-examples 1/2 Test #1: AllTestsIn-c-examples ............ Passed 0.08 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.09 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