Skip to content

Commit fc8cd89

Browse files
committed
Remove winbug label from C++ tests
These tests no longer seem to fail in our Windows CI jobs.
1 parent 8497305 commit fc8cd89

File tree

134 files changed

+136
-167
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

134 files changed

+136
-167
lines changed

regression/cbmc-cpp/Address_of_Method1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
KNOWNBUG winbug macos-assert-broken
1+
KNOWNBUG macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/Anonymous_members1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/Assignment1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/CMakeLists.txt

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,18 +4,12 @@ else()
44
set(gcc_only "")
55
endif()
66

7-
if("${CMAKE_SYSTEM_NAME}" STREQUAL "Windows")
8-
set(exclude_win_broken_tests -X winbug)
9-
else()
10-
set(exclude_win_broken_tests "")
11-
endif()
12-
137
if("${CMAKE_SYSTEM_NAME}" STREQUAL "Darwin")
148
set(exclude_mac_broken_tests -X macos-assert-broken)
159
else()
1610
set(exclude_mac_broken_tests "")
1711
endif()
1812

1913
add_test_pl_tests(
20-
"$<TARGET_FILE:cbmc> --validate-goto-model --validate-ssa-equation" ${gcc_only} ${exclude_win_broken_tests} ${exclude_mac_broken_tests}
14+
"$<TARGET_FILE:cbmc> --validate-goto-model --validate-ssa-equation" ${gcc_only} ${exclude_mac_broken_tests}
2115
)

regression/cbmc-cpp/Class_Members1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/Comma_Operator1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/ConditionalExpression1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/ConditionalExpression2/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/Constructor1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

regression/cbmc-cpp/Constructor12/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE winbug macos-assert-broken
1+
CORE macos-assert-broken
22
main.cpp
33

44
^EXIT=0$

0 commit comments

Comments
 (0)