Started by GitHub push by peterwvj 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 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 c1cb81ee9f45aebde6c28e9f0b75d34222a06730 (refs/remotes/origin/development) Commit message: "Commit to rerun test" > /usr/bin/git config core.sparsecheckout # timeout=10 > /usr/bin/git checkout -f c1cb81ee9f45aebde6c28e9f0b75d34222a06730 > /usr/bin/git rev-list aea50d8f230d700c281187b33f9126e35ab0e300 # 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 init # timeout=10 > /usr/bin/git config -f .gitmodules --get-regexp ^submodule\.(.*)\.url # timeout=10 > /usr/bin/git config --get submodule.c/third_party/googletest.url # timeout=10 > /usr/bin/git config -f .gitmodules --get submodule.c/third_party/googletest.path # timeout=10 > /usr/bin/git submodule update --init --recursive c/third_party/googletest > /usr/bin/git config --get submodule.cases/single-watertank.url # timeout=10 > /usr/bin/git config -f .gitmodules --get submodule.cases/single-watertank.path # timeout=10 > /usr/bin/git submodule update --init --recursive cases/single-watertank > /usr/bin/git config --get submodule.cases/three-tank.url # timeout=10 > /usr/bin/git config -f .gitmodules --get submodule.cases/three-tank.path # timeout=10 > /usr/bin/git submodule update --init --recursive cases/three-tank > /usr/bin/git config --get submodule.cases/fcu.url # timeout=10 > /usr/bin/git config -f .gitmodules --get submodule.cases/fcu.path # timeout=10 > /usr/bin/git submodule update --init --recursive cases/fcu > /usr/bin/git config --get submodule.cases/line-follower-robot.url # timeout=10 > /usr/bin/git config -f .gitmodules --get submodule.cases/line-follower-robot.path # timeout=10 > /usr/bin/git submodule update --init --recursive cases/line-follower-robot [Set GitHub commit status (universal)] PENDING on repos [GHRepository@69ec7091[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3419,milestones={},language=Java,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:c1cb81e) with context:vdm2c-vdmlib Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/c1cb81ee9f45aebde6c28e9f0b75d34222a06730 [vdm2c-vdmlib] $ /bin/sh -xe /tmp/jenkins1354842194625231335.sh + cd c + cmake . -- 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' [ 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' [ 5%] Built target gtest_main make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/depend make -f vdmclibdist/CMakeFiles/vdmclibdist.dir/build.make vdmclibdist/CMakeFiles/vdmclibdist.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/vdmclibdist /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/CMakeFiles/vdmclibdist.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/vdmclib /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/CMakeFiles/vdmclib.dir/DependInfo.cmake --color= Scanning dependencies of target vdmclib make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/build make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' [ 7%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/CSVLib.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/CSVLib.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/CSVLib.c [ 8%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/IOLib.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/IOLib.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/IOLib.c [ 9%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/MATHLib.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/MATHLib.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/MATHLib.c Scanning dependencies of target vdmclibdist make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f vdmclibdist/CMakeFiles/vdmclibdist.dir/build.make vdmclibdist/CMakeFiles/vdmclibdist.dir/build make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' [ 11%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/asn1crt.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/asn1crt.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/asn1crt.c [ 12%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/asn1vdm.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/asn1vdm.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/asn1vdm.c [ 14%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/PatternBindMatch.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/PatternBindMatch.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/PatternBindMatch.c [ 15%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/basicTypes.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/basicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/basicTypes.c [ 16%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/PrettyPrint.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/PrettyPrint.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/PrettyPrint.c [ 18%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/real.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/real.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/real.c [ 19%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/TypedValue.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/TypedValue.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/TypedValue.c [ 21%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmClass.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmClass.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmClass.c [ 22%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmBasicTypes.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmBasicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmBasicTypes.c [ 23%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/serialise.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/src/main/serialise.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘deserialise’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:62:11: warning: format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘double’ [-Wformat=] printf("Deserialised real value is %d \n", args[i]->value.doubleVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘serialiseInt’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:78:2: warning: implicit declaration of function ‘fromVdmInt2Int’ [-Wimplicit-function-declaration] fromVdmInt2Int(&t, &val); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘deserialiseInt’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:101:2: warning: implicit declaration of function ‘fromInt2VdmInt’ [-Wimplicit-function-declaration] fromInt2VdmInt(&res_ser, t); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘serialiseQuote’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:110:2: warning: implicit declaration of function ‘fromVdmQuote2Quote’ [-Wimplicit-function-declaration] fromVdmQuote2Quote(&t, &val); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘deserialiseQuote’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:134:2: warning: implicit declaration of function ‘fromQuote2VdmQuote’ [-Wimplicit-function-declaration] fromQuote2VdmQuote(&res_ser, t); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘serialiseReal’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:143:2: warning: implicit declaration of function ‘fromVdmReal2Real’ [-Wimplicit-function-declaration] fromVdmReal2Real(&t, &val); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘deserialiseReal’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:165:17: warning: passing argument 1 of ‘VdmReal_Decode’ from incompatible pointer type [-Wincompatible-pointer-types] VdmReal_Decode(&res_ser, &bitStrmDec, &errCode); ^ In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.h:6:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:3: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/basicTypes.h:68:6: note: expected ‘VdmReal * {aka double *}’ but argument is of type ‘VdmInteger * {aka long long int *}’ flag VdmReal_Decode(VdmReal* pVal, BitStream* pBitStrm, int* pErrCode); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:167:2: warning: implicit declaration of function ‘fromReal2VdmReal’ [-Wimplicit-function-declaration] fromReal2VdmReal(&res_ser, t); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘serialiseRes’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:187:28: warning: pointer targets in passing argument 2 of ‘BitStream_Init’ differ in signedness [-Wpointer-sign] BitStream_Init(&bitStrm, intBuff, VdmInteger_REQUIRED_BYTES_FOR_ENCODING); ^ In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/basicTypes.h:6:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.h:6, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:3: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/asn1crt.h:105:6: note: expected ‘unsigned char *’ but argument is of type ‘char *’ void BitStream_Init(BitStream* pBitStrm, unsigned char* buf, long count); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:190:7: warning: unused variable ‘n’ [-Wunused-variable] int n; ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:201:28: warning: pointer targets in passing argument 2 of ‘BitStream_Init’ differ in signedness [-Wpointer-sign] BitStream_Init(&bitStrm, intBuff, VdmInteger_REQUIRED_BYTES_FOR_ENCODING); ^ In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/basicTypes.h:6:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.h:6, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:3: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/asn1crt.h:105:6: note: expected ‘unsigned char *’ but argument is of type ‘char *’ void BitStream_Init(BitStream* pBitStrm, unsigned char* buf, long count); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:214:28: warning: pointer targets in passing argument 2 of ‘BitStream_Init’ differ in signedness [-Wpointer-sign] BitStream_Init(&bitStrm, intBuff, VdmReal_REQUIRED_BYTES_FOR_ENCODING); ^ In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/basicTypes.h:6:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.h:6, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:3: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/asn1crt.h:105:6: note: expected ‘unsigned char *’ but argument is of type ‘char *’ void BitStream_Init(BitStream* pBitStrm, unsigned char* buf, long count); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:217:7: warning: unused variable ‘n’ [-Wunused-variable] int n; ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c: In function ‘deserialiseRes’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:254:7: warning: unused variable ‘errCode’ [-Wunused-variable] int errCode; ^ [ 25%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/CSVLib.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/CSVLib.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/CSVLib.c [ 26%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmGC.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmGC.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmGC.c [ 28%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/IOLib.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/IOLib.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/IOLib.c [ 29%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmMap.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmMap.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmMap.c [ 30%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/MATHLib.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/MATHLib.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/MATHLib.c [ 32%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmProduct.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmProduct.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmProduct.c [ 33%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PatternBindMatch.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PatternBindMatch.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/PatternBindMatch.c [ 35%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PrettyPrint.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PrettyPrint.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/PrettyPrint.c [ 36%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmSeq.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmSeq.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmSeq.c [ 38%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmSet.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmSet.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmSet.c [ 39%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmUnpackString.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/main/VdmUnpackString.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmUnpackString.c [ 40%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/TypedValue.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/TypedValue.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/TypedValue.c [ 42%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/classes/A.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/classes/A.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/classes/A.c [ 43%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmBasicTypes.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmBasicTypes.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmBasicTypes.c [ 45%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmClass.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmClass.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmClass.c [ 46%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/classes/B.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/classes/B.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/classes/B.c [ 47%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/classes/C.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/classes/C.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/classes/C.c [ 49%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/MyRec.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/records/MyRec.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/records/MyRec.c [ 50%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmGC.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmGC.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmGC.c [ 52%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/MyRec2.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/records/MyRec2.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/records/MyRec2.c [ 53%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/R1.c.o [ 54%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/RecordTest.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/records/RecordTest.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/records/RecordTest.c cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/records/R1.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/records/R1.c [ 56%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmMap.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmMap.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmMap.c [ 57%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmProduct.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmProduct.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmProduct.c [ 59%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSeq.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSeq.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmSeq.c [ 60%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/typeoftest.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclib.dir/src/test/typeoftest.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/typeoftest.c [ 61%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassBTest.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassBTest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassBTest.cpp [ 63%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassATest.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassATest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassATest.cpp [ 64%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmUnpackString.c.o [ 66%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSet.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmUnpackString.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmUnpackString.c cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cc -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/../vdmclib/src/main -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -Wall -fmessage-length=0 -std=c89 -o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSet.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmSet.c [ 67%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassCSV_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassCSV_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassCSV_Tests.cpp [ 69%] Linking CXX executable target/vdmclibdist cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist && /usr/bin/cmake -E cmake_link_script CMakeFiles/vdmclibdist.dir/link.txt --verbose=1 /usr/bin/c++ -fmessage-length=0 CMakeFiles/vdmclibdist.dir/src/main/asn1crt.c.o CMakeFiles/vdmclibdist.dir/src/main/asn1vdm.c.o CMakeFiles/vdmclibdist.dir/src/main/basicTypes.c.o CMakeFiles/vdmclibdist.dir/src/main/real.c.o CMakeFiles/vdmclibdist.dir/src/main/serialise.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/CSVLib.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/IOLib.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/MATHLib.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PatternBindMatch.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/PrettyPrint.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/TypedValue.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmBasicTypes.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmClass.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmGC.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmMap.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmProduct.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSeq.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSet.c.o CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmUnpackString.c.o -o target/vdmclibdist -rdynamic ../third_party/googletest/googletest/libgtest_main.a -lglib-2.0 ../third_party/googletest/googletest/libgtest.a -lpthread make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' [ 69%] Built target vdmclibdist [ 70%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassCTest.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassCTest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassCTest.cpp [ 71%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassIO_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassIO_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassIO_Tests.cpp [ 73%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPrivateCallABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassPrivateCallABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassPrivateCallABC_Tests.cpp [ 74%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPrivateFieldABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassPrivateFieldABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassPrivateFieldABC_Tests.cpp [ 76%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPublicCallABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassPublicCallABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassPublicCallABC_Tests.cpp [ 77%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassPublicFieldABC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ClassPublicFieldABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ClassPublicFieldABC_Tests.cpp [ 78%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionForLoop.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionForLoop.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionForLoop.cpp [ 80%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsBoolean_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionsBoolean_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionsBoolean_Tests.cpp [ 81%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsMap_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionsMap_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionsMap_Tests.cpp [ 83%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsNumeric_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionsNumeric_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionsNumeric_Tests.cpp [ 84%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsProduct_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionsProduct_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionsProduct_Tests.cpp [ 85%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsSeq_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionsSeq_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionsSeq_Tests.cpp [ 87%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsSetRandom_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionsSetRandom_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionsSetRandom_Tests.cpp [ 88%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ExpressionsSet_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/ExpressionsSet_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/ExpressionsSet_Tests.cpp [ 90%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/Expressions_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/Expressions_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/Expressions_Tests.cpp [ 91%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/GC_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/GC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/GC_Tests.cpp [ 92%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/PrettyPrint_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/PrettyPrint_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/PrettyPrint_Tests.cpp [ 94%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/Statements_Record_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/Statements_Record_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/Statements_Record_Tests.cpp [ 95%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/StructOffsetTest_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/StructOffsetTest_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/StructOffsetTest_Tests.cpp [ 97%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/TokenType_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/TokenType_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/TokenType_Tests.cpp [ 98%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/TypeofTest_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/c++ -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/resources -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/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 -fmessage-length=0 -o CMakeFiles/vdmclib.dir/src/test/TypeofTest_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/TypeofTest_Tests.cpp [100%] Linking CXX executable target/vdmclib cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib && /usr/bin/cmake -E cmake_link_script CMakeFiles/vdmclib.dir/link.txt --verbose=1 /usr/bin/c++ -fmessage-length=0 CMakeFiles/vdmclib.dir/src/main/CSVLib.c.o CMakeFiles/vdmclib.dir/src/main/IOLib.c.o CMakeFiles/vdmclib.dir/src/main/MATHLib.c.o CMakeFiles/vdmclib.dir/src/main/PatternBindMatch.c.o CMakeFiles/vdmclib.dir/src/main/PrettyPrint.c.o CMakeFiles/vdmclib.dir/src/main/TypedValue.c.o CMakeFiles/vdmclib.dir/src/main/VdmBasicTypes.c.o CMakeFiles/vdmclib.dir/src/main/VdmClass.c.o CMakeFiles/vdmclib.dir/src/main/VdmGC.c.o CMakeFiles/vdmclib.dir/src/main/VdmMap.c.o CMakeFiles/vdmclib.dir/src/main/VdmProduct.c.o CMakeFiles/vdmclib.dir/src/main/VdmSeq.c.o CMakeFiles/vdmclib.dir/src/main/VdmSet.c.o CMakeFiles/vdmclib.dir/src/main/VdmUnpackString.c.o CMakeFiles/vdmclib.dir/src/test/classes/A.c.o CMakeFiles/vdmclib.dir/src/test/classes/B.c.o CMakeFiles/vdmclib.dir/src/test/classes/C.c.o CMakeFiles/vdmclib.dir/src/test/records/MyRec.c.o CMakeFiles/vdmclib.dir/src/test/records/MyRec2.c.o CMakeFiles/vdmclib.dir/src/test/records/R1.c.o CMakeFiles/vdmclib.dir/src/test/records/RecordTest.c.o CMakeFiles/vdmclib.dir/src/test/typeoftest.c.o CMakeFiles/vdmclib.dir/src/test/ClassATest.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassBTest.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassCSV_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassCTest.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassIO_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPrivateCallABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPrivateFieldABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPublicCallABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ClassPublicFieldABC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionForLoop.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsBoolean_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsMap_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsNumeric_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsProduct_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsSeq_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsSetRandom_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/ExpressionsSet_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/Expressions_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/GC_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/PrettyPrint_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/Statements_Record_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/StructOffsetTest_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/TokenType_Tests.cpp.o CMakeFiles/vdmclib.dir/src/test/TypeofTest_Tests.cpp.o -o target/vdmclib -rdynamic ../third_party/googletest/googletest/libgtest_main.a -lglib-2.0 ../third_party/googletest/googletest/libgtest.a -lpthread make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' [100%] Built target vdmclib 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: vdmclib-tests 1/1 Test #1: vdmclib-tests .................... Passed 0.14 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 0.14 sec [Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@4ae08172[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3419,milestones={},language=Java,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:c1cb81e) with context:vdm2c-vdmlib Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/c1cb81ee9f45aebde6c28e9f0b75d34222a06730 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 1 second Finished: SUCCESS