Mark regression tests that require further attention

diffblue · Nov 26, 2017 · 7c58b9c · 7c58b9c
1 parent fd05fb4
commit 7c58b9c
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -1,8 +1,11 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+--
+Needs fix for 6108ad3
diff --git 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