Deduplicate string tests

diffblue · Jun 10, 2018 · 3cb8bcf · 3cb8bcf
1 parent 9b19015
commit 3cb8bcf
Show file tree

Hide file tree

Showing 66 changed files with 0 additions and 443 deletions.
diff --git a/jbmc/regression/jbmc-strings/java_append_string/test.desc b/jbmc/regression/jbmc-strings/java_append_string/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_append_string/test_append_string.class b/jbmc/regression/jbmc-strings/java_append_string/test_append_string.class
diff --git a/jbmc/regression/jbmc-strings/java_append_string/test_append_string.java b/jbmc/regression/jbmc-strings/java_append_string/test_append_string.java
diff --git a/jbmc/regression/jbmc-strings/java_case/test.desc b/jbmc/regression/jbmc-strings/java_case/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_case/test_case.class b/jbmc/regression/jbmc-strings/java_case/test_case.class
diff --git a/jbmc/regression/jbmc-strings/java_case/test_case.java b/jbmc/regression/jbmc-strings/java_case/test_case.java
diff --git a/jbmc/regression/jbmc-strings/java_char_array/test.desc b/jbmc/regression/jbmc-strings/java_char_array/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_char_array/test_char_array.class b/jbmc/regression/jbmc-strings/java_char_array/test_char_array.class
diff --git a/jbmc/regression/jbmc-strings/java_char_array/test_char_array.java b/jbmc/regression/jbmc-strings/java_char_array/test_char_array.java
diff --git a/jbmc/regression/jbmc-strings/java_code_point/test.desc b/jbmc/regression/jbmc-strings/java_code_point/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_code_point/test_code_point.class b/jbmc/regression/jbmc-strings/java_code_point/test_code_point.class
diff --git a/jbmc/regression/jbmc-strings/java_code_point/test_code_point.java b/jbmc/regression/jbmc-strings/java_code_point/test_code_point.java
diff --git a/jbmc/regression/jbmc-strings/java_contains/test.desc b/jbmc/regression/jbmc-strings/java_contains/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_contains/test_contains.class b/jbmc/regression/jbmc-strings/java_contains/test_contains.class
diff --git a/jbmc/regression/jbmc-strings/java_contains/test_contains.java b/jbmc/regression/jbmc-strings/java_contains/test_contains.java
diff --git a/jbmc/regression/jbmc-strings/java_delete_char_at/test.desc b/jbmc/regression/jbmc-strings/java_delete_char_at/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_delete_char_at/test_delete_char_at.class b/jbmc/regression/jbmc-strings/java_delete_char_at/test_delete_char_at.class
diff --git a/jbmc/regression/jbmc-strings/java_delete_char_at/test_delete_char_at.java b/jbmc/regression/jbmc-strings/java_delete_char_at/test_delete_char_at.java
diff --git a/jbmc/regression/jbmc-strings/java_endswith/test.desc b/jbmc/regression/jbmc-strings/java_endswith/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_endswith/test_endswith.class b/jbmc/regression/jbmc-strings/java_endswith/test_endswith.class
diff --git a/jbmc/regression/jbmc-strings/java_endswith/test_endswith.java b/jbmc/regression/jbmc-strings/java_endswith/test_endswith.java
diff --git a/jbmc/regression/jbmc-strings/java_equal/test.desc b/jbmc/regression/jbmc-strings/java_equal/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_equal/test_equal.class b/jbmc/regression/jbmc-strings/java_equal/test_equal.class
diff --git a/jbmc/regression/jbmc-strings/java_equal/test_equal.java b/jbmc/regression/jbmc-strings/java_equal/test_equal.java
diff --git a/jbmc/regression/jbmc-strings/java_float/test.desc b/jbmc/regression/jbmc-strings/java_float/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_float/test_float.class b/jbmc/regression/jbmc-strings/java_float/test_float.class
diff --git a/jbmc/regression/jbmc-strings/java_float/test_float.java b/jbmc/regression/jbmc-strings/java_float/test_float.java
diff --git a/jbmc/regression/jbmc-strings/java_hash_code/test.desc b/jbmc/regression/jbmc-strings/java_hash_code/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_hash_code/test_hash_code.class b/jbmc/regression/jbmc-strings/java_hash_code/test_hash_code.class
diff --git a/jbmc/regression/jbmc-strings/java_hash_code/test_hash_code.java b/jbmc/regression/jbmc-strings/java_hash_code/test_hash_code.java
diff --git a/jbmc/regression/jbmc-strings/java_index_of/test.desc b/jbmc/regression/jbmc-strings/java_index_of/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_index_of/test_index_of.class b/jbmc/regression/jbmc-strings/java_index_of/test_index_of.class
diff --git a/jbmc/regression/jbmc-strings/java_index_of/test_index_of.java b/jbmc/regression/jbmc-strings/java_index_of/test_index_of.java
diff --git a/jbmc/regression/jbmc-strings/java_index_of_char/test.desc b/jbmc/regression/jbmc-strings/java_index_of_char/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_index_of_char/test_index_of_char.class b/jbmc/regression/jbmc-strings/java_index_of_char/test_index_of_char.class
diff --git a/jbmc/regression/jbmc-strings/java_index_of_char/test_index_of_char.java b/jbmc/regression/jbmc-strings/java_index_of_char/test_index_of_char.java
diff --git a/jbmc/regression/jbmc-strings/java_insert_char_array/test.desc b/jbmc/regression/jbmc-strings/java_insert_char_array/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_insert_char_array/test_insert_char_array.class b/jbmc/regression/jbmc-strings/java_insert_char_array/test_insert_char_array.class
diff --git a/jbmc/regression/jbmc-strings/java_insert_char_array/test_insert_char_array.java b/jbmc/regression/jbmc-strings/java_insert_char_array/test_insert_char_array.java
diff --git a/jbmc/regression/jbmc-strings/java_insert_multiple/test.desc b/jbmc/regression/jbmc-strings/java_insert_multiple/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_insert_multiple/test_insert_multiple.class b/jbmc/regression/jbmc-strings/java_insert_multiple/test_insert_multiple.class
diff --git a/jbmc/regression/jbmc-strings/java_insert_multiple/test_insert_multiple.java b/jbmc/regression/jbmc-strings/java_insert_multiple/test_insert_multiple.java
diff --git a/jbmc/regression/jbmc-strings/java_insert_string/test.desc b/jbmc/regression/jbmc-strings/java_insert_string/test.desc
diff --git a/jbmc/regression/jbmc-strings/java_insert_string/test_insert_string.class b/jbmc/regression/jbmc-strings/java_insert_string/test_insert_string.class
diff --git a/jbmc/regression/jbmc-strings/java_insert_string/test_insert_string.java b/jbmc/regression/jbmc-strings/java_insert_string/test_insert_string.java
diff --git a/jbmc/regression/strings-smoke-tests/java_append_object/test.desc b/jbmc/regression/strings-smoke-tests/java_append_object/test.desc
diff --git a/jbmc/regression/strings-smoke-tests/java_append_object/test_append_object.class b/jbmc/regression/strings-smoke-tests/java_append_object/test_append_object.class
diff --git a/jbmc/regression/strings-smoke-tests/java_append_object/test_append_object.java b/jbmc/regression/strings-smoke-tests/java_append_object/test_append_object.java
diff --git a/jbmc/regression/strings-smoke-tests/java_char_array_init/test.desc b/jbmc/regression/strings-smoke-tests/java_char_array_init/test.desc
diff --git a/jbmc/regression/strings-smoke-tests/java_char_array_init/test_init.class b/jbmc/regression/strings-smoke-tests/java_char_array_init/test_init.class
diff --git a/jbmc/regression/strings-smoke-tests/java_char_array_init/test_init.java b/jbmc/regression/strings-smoke-tests/java_char_array_init/test_init.java
diff --git a/jbmc/regression/strings-smoke-tests/java_compare/test.desc b/jbmc/regression/strings-smoke-tests/java_compare/test.desc
diff --git a/jbmc/regression/strings-smoke-tests/java_compare/test_compare.class b/jbmc/regression/strings-smoke-tests/java_compare/test_compare.class