diff --git a/infer/tests/endtoend/java/comparison/ClassCastExceptionTest.java b/infer/tests/endtoend/java/comparison/ClassCastExceptionTest.java index 2c0aec558..89299f39a 100644 --- a/infer/tests/endtoend/java/comparison/ClassCastExceptionTest.java +++ b/infer/tests/endtoend/java/comparison/ClassCastExceptionTest.java @@ -38,7 +38,7 @@ public class ClassCastExceptionTest { } @Test - public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() + public void matchErrors() throws IOException, InterruptedException, InferException { String[] methods = { "classCastException", diff --git a/infer/tests/endtoend/java/tracing/ArrayIndexOutOfBoundsExceptionTest.java b/infer/tests/endtoend/java/tracing/ArrayIndexOutOfBoundsExceptionTest.java index b69452182..db8092e3c 100644 --- a/infer/tests/endtoend/java/tracing/ArrayIndexOutOfBoundsExceptionTest.java +++ b/infer/tests/endtoend/java/tracing/ArrayIndexOutOfBoundsExceptionTest.java @@ -39,7 +39,7 @@ public class ArrayIndexOutOfBoundsExceptionTest { } @Test - public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() + public void matchErrors() throws IOException, InterruptedException, InferException { String[] methods = { // TODO (#7651424): re-enable these tests once the translation of arrays is fixed diff --git a/infer/tests/endtoend/java/tracing/ClassCastExceptionTest.java b/infer/tests/endtoend/java/tracing/ClassCastExceptionTest.java index d0547b3c3..be49265a4 100644 --- a/infer/tests/endtoend/java/tracing/ClassCastExceptionTest.java +++ b/infer/tests/endtoend/java/tracing/ClassCastExceptionTest.java @@ -38,7 +38,7 @@ public class ClassCastExceptionTest { } @Test - public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() + public void matchErrors() throws IOException, InterruptedException, InferException { String[] methods = {"foo", "bar"}; assertThat( diff --git a/infer/tests/endtoend/java/tracing/LocallyDefinedExceptionTest.java b/infer/tests/endtoend/java/tracing/LocallyDefinedExceptionTest.java index 3c1368f7c..d6418b71f 100644 --- a/infer/tests/endtoend/java/tracing/LocallyDefinedExceptionTest.java +++ b/infer/tests/endtoend/java/tracing/LocallyDefinedExceptionTest.java @@ -38,7 +38,7 @@ public class LocallyDefinedExceptionTest { } @Test - public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() + public void matchErrors() throws IOException, InterruptedException, InferException { String[] methods = { "fieldInvariant" diff --git a/infer/tests/endtoend/java/tracing/NullPointerExceptionTest.java b/infer/tests/endtoend/java/tracing/NullPointerExceptionTest.java index 687113410..fc96224ee 100644 --- a/infer/tests/endtoend/java/tracing/NullPointerExceptionTest.java +++ b/infer/tests/endtoend/java/tracing/NullPointerExceptionTest.java @@ -39,7 +39,7 @@ public class NullPointerExceptionTest { } @Test - public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() + public void matchErrors() throws IOException, InterruptedException, InferException { String[] methods = { "callDeref" diff --git a/infer/tests/endtoend/java/tracing/ReportOnMainTest.java b/infer/tests/endtoend/java/tracing/ReportOnMainTest.java index c11c9d41e..553494116 100644 --- a/infer/tests/endtoend/java/tracing/ReportOnMainTest.java +++ b/infer/tests/endtoend/java/tracing/ReportOnMainTest.java @@ -38,7 +38,7 @@ public class ReportOnMainTest { } @Test - public void whenEradicateRunsOnConstructorThenFieldNotInitializedIsFound() + public void matchErrors() throws IOException, InterruptedException, InferException { String[] methods = { "main"