// Test case for issue #34: https://github.com/kelloggm/checker-framework/issues/34 | |
public class IndexForTwoArrays2 { | |
public boolean equals(int[] da1, int[] da2) { | |
if (da1.length != da2.length) { | |
return false; | |
} | |
int k = 0; | |
for (int i = 0; i < da1.length; i++) { | |
if (da1[i] != da2[i]) { | |
return false; | |
} | |
} | |
return true; | |
} | |
} |