From 1754e4f0b084d5ed64c446ef6e5986c939947417 Mon Sep 17 00:00:00 2001 From: jrm Date: Tue, 5 Jan 2016 20:27:25 -0800 Subject: [PATCH] Fix copy-pasted test names Reviewed By: sblackshear Differential Revision: D2805952 fb-gh-sync-id: fb9a766 --- .../tests/endtoend/java/comparison/ClassCastExceptionTest.java | 2 +- .../java/tracing/ArrayIndexOutOfBoundsExceptionTest.java | 2 +- infer/tests/endtoend/java/tracing/ClassCastExceptionTest.java | 2 +- .../endtoend/java/tracing/LocallyDefinedExceptionTest.java | 2 +- infer/tests/endtoend/java/tracing/NullPointerExceptionTest.java | 2 +- infer/tests/endtoend/java/tracing/ReportOnMainTest.java | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) 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"