scanf1/big-endian was fixed in 73fadb3

tautschnig · tautschnig · commit 628b655a0e54 · 2021-01-08T16:18:23.000Z
Mark it as CORE instead of KNOWNBUG.
diff --git a/regression/cbmc/scanf1/big-endian.desc b/regression/cbmc/scanf1/big-endian.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.i
 --big-endian
 ^EXIT=10$
