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 -c core.askpass=true 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 ddb5699239002bb1e2fc2705f8353823b4b15b75 (refs/remotes/origin/development) > /usr/bin/git config core.sparsecheckout # timeout=10 > /usr/bin/git checkout -f ddb5699239002bb1e2fc2705f8353823b4b15b75 > /usr/bin/git rev-list 1cba852b74a1dfdf4de49cc8dce9cc6f02905e2a # timeout=10 > /usr/bin/git remote # timeout=10 > /usr/bin/git submodule init # timeout=10 > /usr/bin/git submodule sync # timeout=10 > /usr/bin/git config --get remote.origin.url # timeout=10 > /usr/bin/git submodule update --init --recursive [vdm2c-vdmlib] $ /bin/sh -xe /tmp/hudson7511036542212590467.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' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 1 [ 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' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 2 [ 5%] Built target gtest_main make -f vdmclib/src/CMakeFiles/vdmclib.dir/build.make vdmclib/src/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/src /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/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/src/CMakeFiles/vdmclib.dir/build.make vdmclib/src/CMakeFiles/vdmclib.dir/build make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 7 /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 27 [ 7%] [ 10%] Building C object vdmclib/src/CMakeFiles/vdmclib.dir/VdmMap.c.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src && /usr/bin/cc -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/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 -o CMakeFiles/vdmclib.dir/VdmMap.c.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c Building CXX object vdmclib/src/CMakeFiles/vdmclib.dir/tests/ExpressionsMap_Tests.cpp.o cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src && /usr/bin/c++ -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/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 -o CMakeFiles/vdmclib.dir/tests/ExpressionsMap_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c: In function ‘ht_get’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c:362:2: warning: implicit declaration of function ‘strcmp’ [-Wimplicit-function-declaration] while( pair != NULL && pair->key != NULL && strcmp( key, pair->key ) > 0 ) { ^ In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1874:0, from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:23: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapDomRestrictTo_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null] (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’ if (const ::testing::AssertionResult gtest_ar = (expression)) \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’ GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:261:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ(false, res->value.boolVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapDomRestrictBy_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null] (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’ if (const ::testing::AssertionResult gtest_ar = (expression)) \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’ GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:287:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ(false, res->value.boolVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapRngRestrictTo_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null] (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’ if (const ::testing::AssertionResult gtest_ar = (expression)) \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’ GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:308:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ(false, res->value.boolVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapRngRestrictBy_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null] (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’ if (const ::testing::AssertionResult gtest_ar = (expression)) \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’ GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:329:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ(false, res->value.boolVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapInverse_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null] (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’ if (const ::testing::AssertionResult gtest_ar = (expression)) \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’ GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:346:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ(false, res->value.boolVal); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapEquals_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null] (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’ if (const ::testing::AssertionResult gtest_ar = (expression)) \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’ GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:367:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ(false, map_eq2); ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp: In member function ‘virtual void Expression_Map_mapInEquals_Test::TestBody()’: /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/internal/gtest-internal.h:133:55: warning: converting ‘false’ to pointer type for argument 1 of ‘char testing::internal::IsNullLiteralHelper(testing::internal::Secret*)’ [-Wconversion-null] (sizeof(::testing::internal::IsNullLiteralHelper(x)) == 1) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:77:52: note: in definition of macro ‘GTEST_ASSERT_’ if (const ::testing::AssertionResult gtest_ar = (expression)) \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest_pred_impl.h:162:3: note: in expansion of macro ‘GTEST_PRED_FORMAT2_’ GTEST_PRED_FORMAT2_(pred_format, v1, v2, GTEST_NONFATAL_FAILURE_) ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1923:3: note: in expansion of macro ‘EXPECT_PRED_FORMAT2’ EXPECT_PRED_FORMAT2(::testing::internal:: \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include/gtest/gtest.h:1924:32: note: in expansion of macro ‘GTEST_IS_NULL_LITERAL_’ EqHelper<GTEST_IS_NULL_LITERAL_(val1)>::Compare, \ ^ /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/tests/ExpressionsMap_Tests.cpp:381:2: note: in expansion of macro ‘EXPECT_EQ’ EXPECT_EQ(false, map_not_eq1); ^ Linking CXX executable vdmclib cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/vdmclib.dir/link.txt --verbose=1 /usr/bin/c++ -std=c++11 -fmessage-length=0 CMakeFiles/vdmclib.dir/VdmSet.c.o CMakeFiles/vdmclib.dir/VdmClass.c.o CMakeFiles/vdmclib.dir/VdmProduct.c.o CMakeFiles/vdmclib.dir/PatternBindMatch.c.o CMakeFiles/vdmclib.dir/VdmMap.c.o CMakeFiles/vdmclib.dir/PrettyPrint.c.o CMakeFiles/vdmclib.dir/VdmBasicTypes.c.o CMakeFiles/vdmclib.dir/MATHLib.c.o CMakeFiles/vdmclib.dir/IOLib.c.o CMakeFiles/vdmclib.dir/TypedValue.c.o CMakeFiles/vdmclib.dir/VdmSeq.c.o CMakeFiles/vdmclib.dir/classes/B.c.o CMakeFiles/vdmclib.dir/classes/A.c.o CMakeFiles/vdmclib.dir/classes/C.c.o CMakeFiles/vdmclib.dir/records/R1.c.o CMakeFiles/vdmclib.dir/tests/typeoftest.c.o CMakeFiles/vdmclib.dir/tests/ClassPrivateCallABC_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/HashTable_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ClassPrivateFieldABC_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ClassBTest.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionsSetRandom_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/StructOffsetTest_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionsSeq_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/Statements_Record_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionsMap_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ClassPublicFieldABC_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionsBoolean_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ClassPublicCallABC_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionsSet_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ClassATest.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionsNumeric_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ClassCTest.cpp.o CMakeFiles/vdmclib.dir/tests/ClassIO_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionsProduct_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/TypeofTest_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/ExpressionForLoop.cpp.o CMakeFiles/vdmclib.dir/tests/Expressions_Tests.cpp.o CMakeFiles/vdmclib.dir/tests/PrettyPrint_Tests.cpp.o -o 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' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 [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: AllTestsIn-c-examples 1/1 Test #1: AllTestsIn-c-examples ............***Failed 0.08 sec 0% tests passed, 1 tests failed out of 1 Total Test time (real) = 0.08 sec The following tests FAILED: 1 - AllTestsIn-c-examples (Failed) Errors while running CTest make: *** [test] Error 8 Build step 'Execute shell' marked build as failure 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