diff --git a/regression/cbmc-incr-oneloop/CMakeLists.txt b/regression/cbmc-incr-oneloop/CMakeLists.txt index 40c516e376d..33d24bd6b3b 100644 --- a/regression/cbmc-incr-oneloop/CMakeLists.txt +++ b/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 $ --slice-formula" ${exclude_win_broken_tests} + "perl ../timeout.pl 8 $ --slice-formula" ) diff --git a/regression/cbmc-incr-oneloop/alarm1/test.desc b/regression/cbmc-incr-oneloop/alarm1/test.desc index d2ff7ca7707..87b0754ad15 100644 --- a/regression/cbmc-incr-oneloop/alarm1/test.desc +++ b/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 diff --git a/regression/cbmc-incr-oneloop/alarm3/test.desc b/regression/cbmc-incr-oneloop/alarm3/test.desc index 997acd3cd09..b16aa422ea9 100644 --- a/regression/cbmc-incr-oneloop/alarm3/test.desc +++ b/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$ diff --git a/regression/cbmc-incr-oneloop/cruise1/test.desc b/regression/cbmc-incr-oneloop/cruise1/test.desc index a0ec7af2706..19e1f90f4c4 100644 --- a/regression/cbmc-incr-oneloop/cruise1/test.desc +++ b/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$ diff --git a/regression/cbmc-incr/CMakeLists.txt b/regression/cbmc-incr/CMakeLists.txt index 535bcad2e2a..aad62741a82 100644 --- a/regression/cbmc-incr/CMakeLists.txt +++ b/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 $ --incremental --magic-numbers" ${exclude_win_broken_tests} + "perl ../timeout.pl 30 $ --incremental --magic-numbers" ) diff --git a/regression/cbmc-incr/alarm1/test.desc b/regression/cbmc-incr/alarm1/test.desc index 8cf71821478..0b88cadbc06 100644 --- a/regression/cbmc-incr/alarm1/test.desc +++ b/regression/cbmc-incr/alarm1/test.desc @@ -1,4 +1,4 @@ -CORE winbug +CORE main.c --unwind-max 25 --no-unwinding-assertions ^EXIT=0$ diff --git a/regression/cbmc-incr/alarm3/test.desc b/regression/cbmc-incr/alarm3/test.desc index 7c8b1bc5ea8..6de79559914 100644 --- a/regression/cbmc-incr/alarm3/test.desc +++ b/regression/cbmc-incr/alarm3/test.desc @@ -1,4 +1,4 @@ -CORE winbug +CORE main.c ^EXIT=10$ diff --git a/regression/cbmc-incr/cruise1/test.desc b/regression/cbmc-incr/cruise1/test.desc index fa406ff299c..9474865a7c9 100644 --- a/regression/cbmc-incr/cruise1/test.desc +++ b/regression/cbmc-incr/cruise1/test.desc @@ -1,4 +1,4 @@ -CORE winbug +CORE main.c --unwind-max 10 --no-unwinding-assertions ^EXIT=0$