Test demonstrating logging with clause for dealing with Windows

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,9 @@
+CORE
+TestClass.class
+--function TestClass.f --cover location --unwind 2
+Source GOTO statement: .*
+(^ exception: Can't convert byte_extraction|warning: Nested exception printing not supported on Windows)
+^EXIT=6$
+--
+--
+This is a bug - this validates the error output.