Skip to content

Commit 0d47ec8

Browse files
yumibaggeyumibagge
committed
Rename ConstantEvaluation folders
Renamed except IndexOf
1 parent 744671a commit 0d47ec8

File tree

48 files changed

+0
-0
lines changed

Some content is hidden

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

48 files changed

+0
-0
lines changed

‎jbmc/regression/jbmc-strings/CharAtConstantEvaluation/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCharAt/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/CharAtConstantEvaluation/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCharAt/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/CharAtConstantEvaluation/test.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCharAt/test.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail1.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail1.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail1_vcc.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail1_vcc.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail2.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail2.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail2_vcc.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail2_vcc.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail3.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail3.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail3_vcc.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail3_vcc.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail4.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail4.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/CompareToConstantEvaluation/test_fail4_vcc.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationCompareTo/test_fail4_vcc.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/EndsWithConstantEvaluation/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationEndsWith/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/EndsWithConstantEvaluation/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationEndsWith/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/EndsWithConstantEvaluation/test_fail.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationEndsWith/test_fail.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/EndsWithConstantEvaluation/test_fail_vcc.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationEndsWith/test_fail_vcc.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/EndsWithConstantEvaluation/test_pass.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationEndsWith/test_pass.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/IsEmptyConstantEvaluation/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationIsEmpty/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/IsEmptyConstantEvaluation/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationIsEmpty/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/IsEmptyConstantEvaluation/test_fail.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationIsEmpty/test_fail.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/IsEmptyConstantEvaluation/test_fail_vcc.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationIsEmpty/test_fail_vcc.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/IsEmptyConstantEvaluation/test_pass.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationIsEmpty/test_pass.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation1/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend01/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation1/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend01/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation1/test.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend01/test.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation2/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend02-WithEmptyString/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation2/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend02-WithEmptyString/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation2/test1.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend02-WithEmptyString/test1.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation2/test2.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend02-WithEmptyString/test2.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderAppendConstantEvaluation2/test3.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderAppend02-WithEmptyString/test3.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderDefaultConstructorConstantEvaluation/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderDefaultConstructor/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderDefaultConstructorConstantEvaluation/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderDefaultConstructor/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringBuilderDefaultConstructorConstantEvaluation/test.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringBuilderDefaultConstructor/test.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation1/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation01/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation1/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation01/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation1/test.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation01/test.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation2/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation02-WithEmptyString/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation2/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation02-WithEmptyString/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation2/test1.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation02-WithEmptyString/test1.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation2/test2.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation02-WithEmptyString/test2.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation2/test3.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation02-WithEmptyString/test3.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation3/Main.class renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation03-NegativeScenarios/Main.class

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation3/Main.java renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation03-NegativeScenarios/Main.java

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation3/test1.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation03-NegativeScenarios/test1.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation3/test2.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation03-NegativeScenarios/test2.desc

File renamed without changes.

‎jbmc/regression/jbmc-strings/StringConcatenationConstantEvaluation3/test3.desc renamed to ‎jbmc/regression/jbmc-strings/ConstantEvaluationStringConcatenation03-NegativeScenarios/test3.desc

File renamed without changes.

0 commit comments

Comments
 (0)