Mark tests under regression/systemc/ as winbug.

Author: NlightNFotis

regression/systemc/Array2/test.desc

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

regression/systemc/Array3/test.desc

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

regression/systemc/Array4/test.desc

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

regression/systemc/BitvectorCpp1/test.desc

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

regression/systemc/BitvectorCpp2/test.desc

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

regression/systemc/BitvectorSc3/test.desc

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

regression/systemc/CMakeLists.txt

@@ -1,3 +1,9 @@
+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" ${exclude_win_broken_tests}
 )

regression/systemc/EqualOp3/test.desc

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

regression/systemc/ForwardDecl1/test.desc

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

regression/systemc/FunTempl1/test.desc

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