mark cbmc/Linking7/return_type.desc as KNOWNBUG

Daniel Kroening · Daniel Kroening · commit 493f6287e0c9 · 2019-03-05T13:32:19.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$
