Regression tests for --xml-ui and plain

Author: Natasha Yogananda Jeppu

regression/cbmc/array-constraint/test.desc

@@ -1,10 +1,8 @@
-KNOWNBUG
+CORE
 main.c
---show-array-constraints --json-ui
-activate-multi-line-match
-^EXIT=0$
+--show-array-constraints
+^EXIT=1$
 ^SIGNAL=0$
-\{\n\s*"arrayConstraints": \{\n\s*"arrayEquality": \[.*\],\n\s*"arrayWith": \[.*\]\n\s*\},\n\s*"numOfConstraints": 4\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.
+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.

regression/cbmc/array-constraint/test_json.desc

@@ -0,0 +1,10 @@
+KNOWNBUG
+main.c
+--show-array-constraints --json-ui
+activate-multi-line-match
+^EXIT=0$
+^SIGNAL=0$
+\{\n\s*"arrayConstraints": \{\n\s*"arrayEquality": \[.*\],\n\s*"arrayWith": \[.*\]\n\s*\},\n\s*"numOfConstraints": 4\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.

regression/cbmc/array-constraint/test_xml.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--show-array-constraints --xml-ui
+^EXIT=1$
+^SIGNAL=0$
+--
+--
+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.