Mark regression tests that require further attention

Author: peterschrammel

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

regression/preconditions/precond4/test.desc

@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 --preconditions
 ^EXIT=5$
 ^SIGNAL=0$
 ^$
+--
+--
+Needs fix for 6108ad3

regression/preconditions/precond5/test.desc

@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 --preconditions
 ^EXIT=5$
 ^SIGNAL=0$
 ^$
+--
+--
+Needs fix for 6108ad3

regression/termination/equality_through_array3/test.desc

@@ -1,8 +1,11 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+--
+Needs fix for 6108ad3

regression/termination/pointer2/test.desc

@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Needs fix for 6108ad3