Exclude goto-harness known bugs under windows

Author: NlightNFotis

regression/goto-harness-multi-file-project/CMakeLists.txt

@@ -1,2 +1,8 @@
+if("${CMAKE_SYSTEM_NAME}" STREQUAL "Windows")
+  set(exclude_win_broken_tests -X winbug)
+else()
+  set(exclude_win_broken_tests "")
+endif()
+
 add_test_pl_tests(
-  "${CMAKE_CURRENT_LIST_DIR}/chain.sh $<TARGET_FILE:goto-cc> $<TARGET_FILE:goto-harness> $<TARGET_FILE:cbmc>")
+  "${CMAKE_CURRENT_LIST_DIR}/chain.sh $<TARGET_FILE:goto-cc> $<TARGET_FILE:goto-harness> $<TARGET_FILE:cbmc>" ${exclude_win_broken_tests})

regression/goto-harness-multi-file-project/static_functions/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 dummy.c
 --function main --harness-type call-function
 \[default_serve\.assertion\.1\] line \d+ assertion 0 && \"default serve should fail so we can see it is being called\": FAILURE

regression/goto-harness-multi-file-project/static_symbols_referencing/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 dummy.c
 --function another --harness-type call-function
 ^EXIT=10$