memmove-01 test was fixed in 31cd424

tautschnig · jezhiggins · commit 23b947aead29 · 2021-02-03T14:54:48.000Z
Mark it as CORE instead of KNOWNBUG.
diff --git a/regression/cbmc-library/memmove-01/test.desc b/regression/cbmc-library/memmove-01/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --unwind 17
 ^EXIT=0$
