The first static_assert fails with goto-cl

tautschnig · tautschnig · commit a122ff4bad29 · 2018-12-29T21:12:54.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$
