Exclude object-bits/ tests that are known broken on windows

Author: NlightNFotis

regression/goto-cc-cbmc-shared-options/CMakeLists.txt

@@ -1,9 +1,11 @@
 if(WIN32)
     set(is_windows true)
+    set(exclude_broken_windows_tests -X winbug)
 else()
     set(is_windows false)
+    set(exclude_broken_windows_tests "")
 endif()
 
 add_test_pl_tests(
-    "${CMAKE_CURRENT_SOURCE_DIR}/chain.sh $<TARGET_FILE:goto-cc> $<TARGET_FILE:cbmc> ${is_windows}"
+    "${CMAKE_CURRENT_SOURCE_DIR}/chain.sh $<TARGET_FILE:goto-cc> $<TARGET_FILE:cbmc> ${is_windows}" ${exclude_broken_windows_tests}
 )

regression/goto-cc-cbmc-shared-options/object-bits/fewer_bits.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 test.c
 --function main --object-bits 6
 ^EXIT=10$

regression/goto-cc-cbmc-shared-options/object-bits/more_bits.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 test.c
 --function main --object-bits 10
 ^EXIT=10$