Fix copy-pasted test names

Reviewed By: sblackshear

Differential Revision: D2805952

fb-gh-sync-id: fb9a766
master
jrm 9 years ago committed by facebook-github-bot-7
parent 51cd3ded47
commit 1754e4f0b0

@ -38,7 +38,7 @@ public class ClassCastExceptionTest {
} }
@Test @Test
public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() public void matchErrors()
throws IOException, InterruptedException, InferException { throws IOException, InterruptedException, InferException {
String[] methods = { String[] methods = {
"classCastException", "classCastException",

@ -39,7 +39,7 @@ public class ArrayIndexOutOfBoundsExceptionTest {
} }
@Test @Test
public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() public void matchErrors()
throws IOException, InterruptedException, InferException { throws IOException, InterruptedException, InferException {
String[] methods = { String[] methods = {
// TODO (#7651424): re-enable these tests once the translation of arrays is fixed // TODO (#7651424): re-enable these tests once the translation of arrays is fixed

@ -38,7 +38,7 @@ public class ClassCastExceptionTest {
} }
@Test @Test
public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() public void matchErrors()
throws IOException, InterruptedException, InferException { throws IOException, InterruptedException, InferException {
String[] methods = {"foo", "bar"}; String[] methods = {"foo", "bar"};
assertThat( assertThat(

@ -38,7 +38,7 @@ public class LocallyDefinedExceptionTest {
} }
@Test @Test
public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() public void matchErrors()
throws IOException, InterruptedException, InferException { throws IOException, InterruptedException, InferException {
String[] methods = { String[] methods = {
"fieldInvariant" "fieldInvariant"

@ -39,7 +39,7 @@ public class NullPointerExceptionTest {
} }
@Test @Test
public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() public void matchErrors()
throws IOException, InterruptedException, InferException { throws IOException, InterruptedException, InferException {
String[] methods = { String[] methods = {
"callDeref" "callDeref"

@ -38,7 +38,7 @@ public class ReportOnMainTest {
} }
@Test @Test
public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() public void matchErrors()
throws IOException, InterruptedException, InferException { throws IOException, InterruptedException, InferException {
String[] methods = { String[] methods = {
"main" "main"

Loading…
Cancel
Save