Experiment: review winbug

Author: tautschnig

regression/cbmc-cpp/Address_of_Method1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG winbug macos-assert-broken
+KNOWNBUG macos-assert-broken
 main.cpp
 
 ^EXIT=0$

regression/cbmc-cpp/Anonymous_members1/test.desc

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

regression/cbmc-cpp/Assignment1/test.desc

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

regression/cbmc-cpp/Class_Members1/test.desc

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

regression/cbmc-cpp/Comma_Operator1/test.desc

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

regression/cbmc-cpp/ConditionalExpression1/test.desc

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

regression/cbmc-cpp/ConditionalExpression2/test.desc

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

regression/cbmc-cpp/Constructor1/test.desc

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

regression/cbmc-cpp/Constructor12/test.desc

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

regression/cbmc-cpp/Constructor13/test.desc

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