equal
deleted
inserted
replaced
43 public static void verify(int src[], int[] ref) { |
43 public static void verify(int src[], int[] ref) { |
44 // check whether src and ref are equal |
44 // check whether src and ref are equal |
45 for (int i = 0; i < src.length; i++) { |
45 for (int i = 0; i < src.length; i++) { |
46 if (src[i] != ref[i]) { |
46 if (src[i] != ref[i]) { |
47 System.out.println("Error: src and ref don't match at " + i); |
47 System.out.println("Error: src and ref don't match at " + i); |
48 System.exit(-1); |
48 System.exit(97); |
49 } |
49 } |
50 } |
50 } |
51 } |
51 } |
52 |
52 |
53 public static void test() { |
53 public static void test() { |