Started by GitHub push by lausdahl 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 7efed2161e330d856677c901d9b7d93b27b29a2f (refs/remotes/origin/development) > /usr/bin/git config core.sparsecheckout # timeout=10 > /usr/bin/git checkout -f 7efed2161e330d856677c901d9b7d93b27b29a2f Commit message: "[maven-release-plugin] prepare for next development iteration" > /usr/bin/git rev-list 094c5cb65f590859d5357feeddde4eb658eccd00 # 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@6115b040[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3584,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, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], 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=[Thu, 22 Nov 2018 11:52:10 GMT], ETag=[W/"e4fbf753d70db106f47b4683e3b079bd"], Last-Modified=[Thu, 22 Nov 2018 11:52:06 GMT], OkHttp-Received-Millis=[1542887530232], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1542887530044], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], 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=[98A4:357B:236B97:624FB1:5BF69869], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1542891130], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:7efed21) with context:vdm2c-vdmlib Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/7efed2161e330d856677c901d9b7d93b27b29a2f [vdm2c-vdmlib] $ /bin/sh -xe /tmp/jenkins1299830619215188586.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= 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' make[2]: Nothing to be done for 'vdmclibdist/CMakeFiles/vdmclibdist.dir/build'. make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make[2]: Leaving directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/build [ 33%] Built target vdmclibdist make[2]: Entering directory '/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make[2]: Nothing to be done for 'vdmclib/CMakeFiles/vdmclib.dir/build'. 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.11 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 0.11 sec [Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@236f5a6d[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3584,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, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], 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=[Thu, 22 Nov 2018 11:52:10 GMT], ETag=[W/"e4fbf753d70db106f47b4683e3b079bd"], Last-Modified=[Thu, 22 Nov 2018 11:52:06 GMT], OkHttp-Received-Millis=[1542887530232], OkHttp-Response-Source=[CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1542887530044], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], 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=[98A4:357B:236B97:624FB1:5BF69869], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1542891130], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:7efed21) with context:vdm2c-vdmlib Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/7efed2161e330d856677c901d9b7d93b27b29a2f Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds Finished: SUCCESS