Regression tests for --xml-ui and plain

Author: Natasha Yogananda Jeppu

regression/cbmc/array-constraint/test_xml.desc

@@ -5,4 +5,4 @@ main.c
 ^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.
+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.