Exclude windows broken tests under regression/cbmc-cpp/

Author: NlightNFotis

regression/cbmc-cpp/CMakeLists.txt

@@ -1,9 +1,15 @@
 if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
-add_test_pl_tests(
-    "$<TARGET_FILE:cbmc>" -X gcc-only
-)
+  set(gcc_only -X gcc-only)
+else()
+  set(gcc_only "")
+endif()
+
+if("${CMAKE_SYSTEM_NAME}" STREQUAL "Windows")
+  set(exclude_win_broken_tests -X winbug)
 else()
+  set(exclude_win_broken_tests "")
+endif()
+
 add_test_pl_tests(
-    "$<TARGET_FILE:cbmc> --validate-goto-model --validate-ssa-equation"
+    "$<TARGET_FILE:cbmc> --validate-goto-model --validate-ssa-equation" ${gcc_only} ${exclude_win_broken_tests}
 )
-endif()

regression/cbmc-cpp/cpp-new/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 main.cpp
 --pointer-check
 ^EXIT=0$

regression/cbmc-cpp/cpp1/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 main.cpp
 --unwind 1 --unwinding-assertions
 ^EXIT=0$

regression/cbmc-cpp/lvalue1/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 main.cpp
 
 ^EXIT=0$