mark cbmc/Linking7/return_type.desc as KNOWNBUG

Daniel Kroening · Daniel Kroening · commit e378c9a1c5fc · 2019-03-14T10:38:14.000Z
This is currently hidden by a checker that ignores the return type, for a
wrong reason.
diff --git a/regression/cbmc/Linking7/return_type.desc b/regression/cbmc/Linking7/return_type.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 return_type1.c
 return_type2.c
 ^EXIT=0$
