Merge pull request #5584 from tautschnig/re-enable-cbmc-incr

Re-enable cbmc-incr* regression tests on Windows

Author: NlightNFotis

regression/cbmc-incr-oneloop/CMakeLists.txt

@@ -1,9 +1,3 @@
-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 8 $<TARGET_FILE:cbmc> --slice-formula" ${exclude_win_broken_tests}
+    "perl ../timeout.pl 8 $<TARGET_FILE:cbmc> --slice-formula"
 )

regression/cbmc-incr-oneloop/alarm1/test.desc

@@ -1,4 +1,4 @@
-CORE winbug
+CORE
 main.c
 --incremental-loop main.0 --unwind-max 15
 activate-multi-line-match

regression/cbmc-incr-oneloop/alarm3/test.desc

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

regression/cbmc-incr-oneloop/cruise1/test.desc

@@ -1,4 +1,4 @@
-CORE winbug
+CORE
 main.c
 --incremental-loop main.0 --unwind-max 10
 ^EXIT=0$

regression/cbmc-incr/CMakeLists.txt

@@ -1,9 +1,3 @@
-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}
+    "perl ../timeout.pl 30 $<TARGET_FILE:cbmc> --incremental --magic-numbers"
 )

regression/cbmc-incr/alarm1/test.desc

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

regression/cbmc-incr/alarm3/test.desc

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

regression/cbmc-incr/cruise1/test.desc

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