diff --git a/regression/cbmc-library/memcpy-01/test.desc b/regression/cbmc-library/memcpy-01/test.desc
index 37a7f2a9e72..b8aa4e562b8 100644
--- a/regression/cbmc-library/memcpy-01/test.desc
+++ b/regression/cbmc-library/memcpy-01/test.desc
@@ -1,11 +1,11 @@
-KNOWNBUG
+CORE
 main.c
 --bounds-check --pointer-check
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
-^\[main\.assertion\.5\] assertion q\.s->x == 42: SUCCESS$
-^\[main\.assertion\.6\] assertion q\.s->y == 43: SUCCESS$
+^\[main\.assertion\.5\] line 46 assertion q\.s->x == 42: SUCCESS$
+^\[main\.assertion\.6\] line 47 assertion q\.s->y == 43: SUCCESS$
 --
 ^warning: ignoring
 --