Test demonstrating logging

Author: thk123

regression/cbmc-java/dynamic-multi-dimensional-array/TestClass.class

@@ -0,0 +1,7 @@
+public class TestClass {
+  public static void f(int y) {
+    float[][] a1 = new float[y][3];
+    int j = 0;
+    a1[j][0] = 34.5f;
+  }
+}

regression/cbmc-java/dynamic-multi-dimensional-array/TestClass.java

@@ -0,0 +1,8 @@
+CORE
+TestClass.class
+--function Test1.f --cover location --unwind 2
+Source GOTO statement: ((struct java::array[float] *)a1->data[j])->data[0] = 34.5f;
+^EXIT=6$
+--
+--
+This is a bug - this validates the error output.