Add description for array primitive tests

Thomas Kiley · Thomas Kiley · commit 8b0d2add8722 · 2020-04-15T14:43:23.000+01:00
diff --git a/regression/cbmc/Array_operations1/test.desc b/regression/cbmc/Array_operations1/test.desc
@@ -8,3 +8,5 @@ main.c
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
+--
+Verify the properties of various cprover array primitves
