Merge pull request #6104 from tautschnig/fixed-test

kroening · web-flow · commit d76e3ff3c246 · 2021-05-10T18:05:27.000+01:00
Test contracts/quantifiers-exists-ensures-02 was fixed via c29b69a
diff --git a/regression/contracts/quantifiers-exists-ensures-02/test.desc b/regression/contracts/quantifiers-exists-ensures-02/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --enforce-all-contracts
 ^EXIT=10$
