Regression tests for --xml-ui and plain

Natasha Yogananda Jeppu · danielsn · commit 0a6079a27661 · 2020-11-19T10:36:49.000-05:00
diff --git a/regression/cbmc/array-constraint/test_xml.desc b/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.
