Enable the JSON UI tests for CBMC

martin · martin · commit 821bc8e32e5b · 2019-01-24T16:58:36.000Z
These should check that exception messages are output
wrapped in JSON rather than just dumped on std::cerr.
diff --git a/regression/cbmc/json-ui/no_entry.desc b/regression/cbmc/json-ui/no_entry.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 no_entry.c
 --json-ui
 activate-multi-line-match
diff --git a/regression/cbmc/json-ui/syntax_error.desc b/regression/cbmc/json-ui/syntax_error.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 syntax_error.c
 --json-ui
 activate-multi-line-match
