The first static_assert fails with goto-cl

tautschnig · tautschnig · commit 807088dc3d62 · 2018-12-28T21:54:06.000Z
The regression test is not run on Windows due to earlier failures.
diff --git a/regression/ansi-c/cprover_bool1/test.desc b/regression/ansi-c/cprover_bool1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
