Skip to content

Commit 3cb8bcf

Browse files
peterschrammelpeterschrammel
committed
Deduplicate string tests
1 parent 9b19015 commit 3cb8bcf

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

66 files changed

+0
-443
lines changed

‎jbmc/regression/jbmc-strings/java_append_string/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_append_string/test_append_string.class

-1.01 KB
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_append_string/test_append_string.java

Lines changed: 0 additions & 14 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_case/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_case/test_case.class

-839 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_case/test_case.java

Lines changed: 0 additions & 12 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_char_array/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_char_array/test_char_array.class

-676 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_char_array/test_char_array.java

Lines changed: 0 additions & 13 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_code_point/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_code_point/test_code_point.class

-941 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_code_point/test_code_point.java

Lines changed: 0 additions & 14 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_contains/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_contains/test_contains.class

-671 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_contains/test_contains.java

Lines changed: 0 additions & 9 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_delete_char_at/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_delete_char_at/test_delete_char_at.class

-923 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_delete_char_at/test_delete_char_at.java

Lines changed: 0 additions & 11 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_endswith/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_endswith/test_endswith.class

-666 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_endswith/test_endswith.java

Lines changed: 0 additions & 9 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_equal/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_equal/test_equal.class

-725 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_equal/test_equal.java

Lines changed: 0 additions & 9 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_float/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_float/test_float.class

-1015 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_float/test_float.java

Lines changed: 0 additions & 17 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_hash_code/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_hash_code/test_hash_code.class

-602 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_hash_code/test_hash_code.java

Lines changed: 0 additions & 9 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_index_of/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_index_of/test_index_of.class

-631 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_index_of/test_index_of.java

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_index_of_char/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_index_of_char/test_index_of_char.class

-614 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_index_of_char/test_index_of_char.java

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_insert_char_array/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_insert_char_array/test_insert_char_array.class

-1.38 KB
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_insert_char_array/test_insert_char_array.java

Lines changed: 0 additions & 30 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_insert_multiple/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_insert_multiple/test_insert_multiple.class

-979 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_insert_multiple/test_insert_multiple.java

Lines changed: 0 additions & 11 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_insert_string/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-strings/java_insert_string/test_insert_string.class

-897 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-strings/java_insert_string/test_insert_string.java

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎jbmc/regression/strings-smoke-tests/java_append_object/test.desc

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎jbmc/regression/strings-smoke-tests/java_append_object/test_append_object.class

-992 Bytes
Binary file not shown.

‎jbmc/regression/strings-smoke-tests/java_append_object/test_append_object.java

Lines changed: 0 additions & 17 deletions
This file was deleted.

‎jbmc/regression/strings-smoke-tests/java_char_array_init/test.desc

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎jbmc/regression/strings-smoke-tests/java_char_array_init/test_init.class

-1.02 KB
Binary file not shown.

‎jbmc/regression/strings-smoke-tests/java_char_array_init/test_init.java

Lines changed: 0 additions & 21 deletions
This file was deleted.

‎jbmc/regression/strings-smoke-tests/java_compare/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎jbmc/regression/strings-smoke-tests/java_compare/test_compare.class

-623 Bytes
Binary file not shown.

0 commit comments

Comments
 (0)