Regression tests for --xml-ui and plain

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