performance tests for reading/writing arrays

Author: Daniel Kroening

performance/array_read1.c

@@ -0,0 +1,10 @@
+int main()
+{
+  unsigned size;
+  char array[size];
+
+  for(unsigned i = 0; i < N; i++)
+    __CPROVER_assume(array[i] == 123);
+
+  __CPROVER_assert(0, "");
+}

performance/array_write1.c

@@ -0,0 +1,10 @@
+int main()
+{
+  unsigned size;
+  char array[size];
+
+  for(unsigned i = 0; i < N; i++)
+    array[i] = 123;
+
+  __CPROVER_assert(0, "");
+}