Regression test for --show-array-constraints --json-ui

Author: Natasha Yogananda Jeppu

regression/cbmc/array-constraint/main.c

@@ -0,0 +1,12 @@
+#include<stdlib.h>
+int main()
+{
+	size_t array_size;
+	int a[array_size];
+
+	unsigned int index;
+	a[index] = 1;
+
+	assert(a[index] == 1);
+	return 0;
+}

regression/cbmc/array-constraint/test.desc

@@ -0,0 +1,10 @@
+CORE
+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.