diff --git a/regression/kiki/malloc2/test.desc b/regression/kiki/malloc2/test.desc
index f1e0e7a98..f3b3afa29 100644
--- a/regression/kiki/malloc2/test.desc
+++ b/regression/kiki/malloc2/test.desc
@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 --inline --havoc --unwind 5
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Needs fix for 6108ad3
diff --git a/regression/preconditions/precond4/test.desc b/regression/preconditions/precond4/test.desc
index 2f2eca914..3c1c8d834 100644
--- a/regression/preconditions/precond4/test.desc
+++ b/regression/preconditions/precond4/test.desc
@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 --preconditions
 ^EXIT=5$
 ^SIGNAL=0$
 ^$
+--
+--
+Needs fix for 6108ad3
diff --git a/regression/preconditions/precond5/test.desc b/regression/preconditions/precond5/test.desc
index 2f2eca914..3c1c8d834 100644
--- a/regression/preconditions/precond5/test.desc
+++ b/regression/preconditions/precond5/test.desc
@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 --preconditions
 ^EXIT=5$
 ^SIGNAL=0$
 ^$
+--
+--
+Needs fix for 6108ad3
diff --git a/regression/termination/equality_through_array3/test.desc b/regression/termination/equality_through_array3/test.desc
index 9efefbc73..462ea0673 100644
--- a/regression/termination/equality_through_array3/test.desc
+++ b/regression/termination/equality_through_array3/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
@@ -6,3 +6,6 @@ main.c
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+--
+Needs fix for 6108ad3
diff --git a/regression/termination/pointer2/test.desc b/regression/termination/pointer2/test.desc
index 9ebb38e34..96f2f993d 100644
--- a/regression/termination/pointer2/test.desc
+++ b/regression/termination/pointer2/test.desc
@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Needs fix for 6108ad3