mark cbmc/Linking7/return_type.desc as KNOWNBUG

Daniel Kroening · Daniel Kroening · commit eda969de0a76 · 2019-03-03T12:12:55.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$
