CHC: enable a KNOWNBUG test

kroening · kroening · commit ddf0fd277182 · 2022-10-22T14:40:15.000+01:00
c7835345cf635279cf59f4a has fixed a further KNOWNBUG test.
diff --git a/regression/cprover/contracts/check_postcondition6.desc b/regression/cprover/contracts/check_postcondition6.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 check_postcondition6.c
 
 ^EXIT=0$
