diff --git a/regression/cbmc/array-constraint/test_json.desc b/regression/cbmc/array-constraint/test_json.desc
index 00d63a4c686..bbd93a17dde 100644
--- a/regression/cbmc/array-constraint/test_json.desc
+++ b/regression/cbmc/array-constraint/test_json.desc
@@ -1,10 +1,10 @@
-KNOWNBUG
+CORE broken-cprover-smt-backend broken-z3-smt-backend no-new-smt
 main.c
 --show-array-constraints --json-ui
 activate-multi-line-match
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
-\{\n\s*"arrayConstraints": \{\n\s*"arrayEquality": \[.*\],\n\s*"arrayWith": \[.*\]\n\s*\},\n\s*"numOfConstraints": 4\n\s*\}
+\{\n\s*"arrayConstraints": \{\n\s*("\w+": \d+,?\n\s*)+\},\n\s*"numOfConstraints": \d+\n\s*\}
 --
 --
 To test output for --show-array-constraints option that displays the count and list of all array constraints added during post processing in json format.