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, "");
+}