FailedConsole Output

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 7b62e002bfaf3b9ff2d9b0a532f0fdb4455e93c9 (refs/remotes/origin/development)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f 7b62e002bfaf3b9ff2d9b0a532f0fdb4455e93c9
 > /usr/bin/git rev-list 9fe602c1e8056cdc802f5ee5bc24c46e2950090f # 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@600ebf2b[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3220,milestones={},language=Java,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:7b62e00) with context:vdm2c-vdmlib
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/7b62e002bfaf3b9ff2d9b0a532f0fdb4455e93c9
[vdm2c-vdmlib] $ /bin/sh -xe /tmp/hudson2449813591627783406.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'
[  3%] 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'
[  7%] Built target gtest_main
make -f vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.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/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 vdmclib/CMakeFiles/vdmclib.dir/build.make vdmclib/CMakeFiles/vdmclib.dir/build
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 ....................***Exception: Other  0.09 sec

0% tests passed, 1 tests failed out of 1

Total Test time (real) =   0.09 sec

The following tests FAILED:
	  1 - vdmclib-tests (OTHER_FAULT)
Errors while running CTest
Makefile:119: recipe for target 'test' failed
make: *** [test] Error 8
Build step 'Execute shell' marked build as failure
[Set GitHub commit status (universal)] ERROR on repos [GHRepository@1999622e[description=Working repository for the development of a VDM to C code generator,homepage=<null>,name=vdm2c,license=<null>,fork=false,size=3220,milestones={},language=Java,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/overturetool/vdm2c,id=49344489]] (sha:7b62e00) with context:vdm2c-vdmlib
Setting commit status on GitHub for https://github.com/overturetool/vdm2c/commit/7b62e002bfaf3b9ff2d9b0a532f0fdb4455e93c9
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: FAILURE