We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3cd4054 commit b1fd2dbCopy full SHA for b1fd2db
regression/cbmc-cpp/Templates16/test.desc
@@ -1,4 +1,4 @@
1
-KNOWNBUG
+CORE winbug macos-assert-broken
2
main.cpp
3
4
^EXIT=0$
0 commit comments