Strengthen and comment on tests

Author: thk123

jbmc/regression/jbmc/array-clone/ArrayClone.class

@@ -4,62 +4,71 @@ public static void cloneReferenceArray() {
     ArrayClone[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
   public static void cloneObjectArray() {
     Object[] a = {new Object(), new Object() };
     Object[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
   public static void cloneByteArray() {
     byte[] a = {(byte) 1, (byte) 2};
     byte[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
   public static void cloneShortArray() {
     short[] a = {(short) 1, (short) 2};
     short[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
   public static void cloneIntArray() {
     int[] a = {1, 2};
     int[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
   public static void cloneLongArray() {
     long[] a = {1L, 2L };
     long[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
     public static void cloneFloatArray() {
     float[] a = {1.0f, 2.0f};
     float[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
   public static void cloneDoubleArray() {
     double[] a = {1.0, 2.0};
     double[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
   public static void cloneBooleanArray() {
     boolean[] a = {true, false};
     boolean[] clone = a.clone();
 
     assert(a.length == clone.length);
+    assert(a != clone);
   }
 
 }

jbmc/regression/jbmc/array-clone/ArrayClone.java

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for byte arrays

jbmc/regression/jbmc/array-clone/testByte.desc

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for double arrays

jbmc/regression/jbmc/array-clone/testDouble.desc

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for float arrays

jbmc/regression/jbmc/array-clone/testFloat.desc

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for int arrays

jbmc/regression/jbmc/array-clone/testInt.desc

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for long arrays

jbmc/regression/jbmc/array-clone/testLong.desc

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for arrays of objects

jbmc/regression/jbmc/array-clone/testObject.desc

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for reference (non-object) arrays

jbmc/regression/jbmc/array-clone/testReference.desc

@@ -4,3 +4,6 @@ ArrayClone.class
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Verify that clone works correctly for short arrays