Add exclusion mechanism to cmbc-incr/

This folder was also missing a `CMakeLists.txt`
which means that the tests were not even being run before.

Author: NlightNFotis

regression/cbmc-incr/CMakeLists.txt

@@ -0,0 +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(
+    "perl ../timeout.pl 30 $<TARGET_FILE:cbmc> --incremental --magic-numbers" ${exclude_win_broken_tests}
+)

regression/cbmc-incr/alarm1/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 main.c
 --unwind-max 25 --no-unwinding-assertions
 ^EXIT=0$

regression/cbmc-incr/alarm3/test.desc

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

regression/cbmc-incr/cruise1/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 main.c
 --unwind-max 10 --no-unwinding-assertions
 ^EXIT=0$

regression/cbmc-incr/timeout.pl

@@ -0,0 +1,2 @@
+alarm shift @ARGV;
+exec @ARGV;