Tests have been fixed in some past commits

2017-05-23 10:13:37 +01:00 · 2017-05-23 10:13:37 +01:00 · 60bea649b2
parent 0bc21faf5c
commit 60bea649b2
3 changed files with 3 additions and 3 deletions
--- a/regression/cbmc/Linking5/test.desc
+++ b/regression/cbmc/Linking5/test.desc
@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 link1.c
 link2.c
 ^EXIT=0$
--- a/regression/cbmc/Malloc19/test.desc
+++ b/regression/cbmc/Malloc19/test.desc
@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c

 ^EXIT=0$
--- a/regression/cbmc/Malloc20/test.desc
+++ b/regression/cbmc/Malloc20/test.desc
@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c

 ^EXIT=0$