Merge pull request #7269 from diffblue/chc-KNOWNBUG-c7835345cf635279cf59f4a

tautschnig · web-flow · commit b08632a93ea4 · 2022-10-22T19:39:40.000+02:00
CHC: enable a 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$
