Started by GitHub push by bandurvp
Building on master in workspace /var/lib/jenkins/workspace/vdm2c-vdmlib
 > /usr/bin/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > /usr/bin/git config remote.origin.url https://github.com/overturetool/vdm2c.git # timeout=10
Fetching upstream changes from https://github.com/overturetool/vdm2c.git
 > /usr/bin/git --version # timeout=10
 > /usr/bin/git 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 b718699b79a3a935632d934b4e695c01326162f9 (refs/remotes/origin/development)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f b718699b79a3a935632d934b4e695c01326162f9
Commit message: "-  Removed ref_from element of TVP and associated GC machinery. -  Addresses #123."
 > /usr/bin/git rev-list 5139781f21ef81521392a4384a37503b4a9a099b # 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@6dc18e99[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3516,milestones={},language=C,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Mon, 27 Nov 2017 18:35:37 GMT], ETag=[W/"2056cab3760d8fbe17b997e662fc738f"], Last-Modified=[Sun, 22 Oct 2017 13:57:26 GMT], OkHttp-Received-Millis=[1511807737777], OkHttp-Response-Source=[CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1511807737478], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[82D2:4640:3DBB2FD:7AA2469:5A1C5AF9], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4979], X-RateLimit-Reset=[1511810260], X-Runtime-rack=[0.044506], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:b718699) with context:vdm2c-vdmlib
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/b718699b79a3a935632d934b4e695c01326162f9
[vdm2c-vdmlib] $ /bin/sh -xe /tmp/jenkins6496618730617931568.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 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'
[  7%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/src/main/asn1vdm.c.o
[  8%] 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
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
[  9%] 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
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'
[ 11%] 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
/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:144:23: warning: passing argument 2 of ‘fromVdmReal2Real’ from incompatible pointer type [-Wincompatible-pointer-types]
  fromVdmReal2Real(&t, &val);
                       ^
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.h:19: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/asn1vdm.h:24:6: note: expected ‘VdmInteger * {aka long long int *}’ but argument is of type ‘VdmReal * {aka double *}’
 void fromVdmReal2Real(TVP *s, VdmInteger *d);
      ^
/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:166: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: In function ‘serialiseRes’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.c:210:24: warning: passing argument 2 of ‘fromVdmReal2Real’ from incompatible pointer type [-Wincompatible-pointer-types]
   fromVdmReal2Real(&t, &val);
                        ^
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.h:19: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/asn1vdm.h:24:6: note: expected ‘VdmInteger * {aka long long int *}’ but argument is of type ‘VdmReal * {aka double *}’
 void fromVdmReal2Real(TVP *s, VdmInteger *d);
      ^
/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:295:20: warning: passing argument 1 of ‘fromReal2VdmReal’ from incompatible pointer type [-Wincompatible-pointer-types]
   fromReal2VdmReal(&res_ser, &res);
                    ^
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclibdist/src/main/serialise.h:19: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/asn1vdm.h:25:6: note: expected ‘VdmInteger * {aka long long int *}’ but argument is of type ‘VdmReal * {aka double *}’
 void fromReal2VdmReal(VdmInteger *s, TVP *d);
      ^
[ 12%] 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
[ 14%] 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
[ 15%] 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
[ 16%] 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
[ 18%] 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
[ 19%] 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
[ 21%] 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
[ 22%] 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
[ 23%] 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
[ 25%] 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
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/TypedValue.c: In function ‘vdmFree’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/TypedValue.c:680:7: warning: unused variable ‘tmp’ [-Wunused-variable]
  TVP *tmp;
       ^
[ 26%] 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
[ 28%] 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
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/TypedValue.c: In function ‘vdmFree’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/TypedValue.c:680:7: warning: unused variable ‘tmp’ [-Wunused-variable]
  TVP *tmp;
       ^
[ 29%] 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
[ 30%] 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
[ 32%] 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
[ 33%] 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
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmGC.c: In function ‘vdm_gc’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmGC.c:158:6: warning: variable ‘tmp_loc’ set but not used [-Wunused-but-set-variable]
  TVP tmp_loc;
      ^
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmGC.c: In function ‘vdm_gc’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmGC.c:158:6: warning: variable ‘tmp_loc’ set but not used [-Wunused-but-set-variable]
  TVP tmp_loc;
      ^
[ 35%] 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
[ 36%] 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
[ 38%] 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
[ 39%] 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
[ 40%] 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
[ 42%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmSet.c.o
[ 43%] 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/VdmSet.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmSet.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/VdmSeq.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/main/VdmSeq.c
[ 45%] Building C object vdmclibdist/CMakeFiles/vdmclibdist.dir/__/vdmclib/src/main/VdmUnpackString.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
[ 46%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/main/VdmSet.c.o
[ 47%] 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
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
[ 49%] 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
[ 50%] 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
[ 52%] 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
/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 
[ 53%] 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
[ 54%] 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
[ 56%] 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
[ 57%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/R1.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/R1.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/test/records/R1.c
[ 59%] Building C object vdmclib/CMakeFiles/vdmclib.dir/src/test/records/RecordTest.c.o
[ 60%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassATest.cpp.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/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
[ 61%] 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
[ 63%] Building CXX object vdmclib/CMakeFiles/vdmclib.dir/src/test/ClassBTest.cpp.o
[ 64%] 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
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
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/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
[ 95%] 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
[ 97%] 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
[ 98%] 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
[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.15 sec

100% tests passed, 0 tests failed out of 1

Total Test time (real) =   0.16 sec
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@44385bfb[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3516,milestones={},language=C,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Mon, 27 Nov 2017 18:35:37 GMT], ETag=[W/"2056cab3760d8fbe17b997e662fc738f"], Last-Modified=[Sun, 22 Oct 2017 13:57:26 GMT], OkHttp-Received-Millis=[1511807737777], OkHttp-Response-Source=[CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1511807737478], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[82D2:4640:3DBB2FD:7AA2469:5A1C5AF9], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4979], X-RateLimit-Reset=[1511810260], X-Runtime-rack=[0.044506], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:b718699) with context:vdm2c-vdmlib
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/b718699b79a3a935632d934b4e695c01326162f9
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