Skip to content

Commit 8412eb0

Browse files
author
Daniel Kroening
authored
Merge pull request diffblue#2228 from peterschrammel/move-remaining-java-tests
Move remaining java tests to jbmc/regression
2 parents bfe3d3d + 369577a commit 8412eb0

25 files changed

+0
-0
lines changed

‎regression/jbmc-strings/StringContains03/Test.class renamed to ‎jbmc/regression/jbmc-strings/StringContains03/Test.class

File renamed without changes.

‎regression/jbmc-strings/StringContains03/Test.java renamed to ‎jbmc/regression/jbmc-strings/StringContains03/Test.java

File renamed without changes.

‎regression/jbmc-strings/StringContains03/test.desc renamed to ‎jbmc/regression/jbmc-strings/StringContains03/test.desc

File renamed without changes.

‎regression/cbmc-java/NondetCharSequence/NondetCharSequence.class renamed to ‎jbmc/regression/jbmc/NondetCharSequence/NondetCharSequence.class

File renamed without changes.

‎regression/cbmc-java/NondetCharSequence/NondetCharSequence.java renamed to ‎jbmc/regression/jbmc/NondetCharSequence/NondetCharSequence.java

File renamed without changes.

‎regression/cbmc-java/NondetCharSequence/test.desc renamed to ‎jbmc/regression/jbmc/NondetCharSequence/test.desc

File renamed without changes.

‎regression/cbmc-java/NondetString/NondetString.class renamed to ‎jbmc/regression/jbmc/NondetString/NondetString.class

File renamed without changes.

‎regression/cbmc-java/NondetString/NondetString.java renamed to ‎jbmc/regression/jbmc/NondetString/NondetString.java

File renamed without changes.

‎regression/cbmc-java/NondetString/test.desc renamed to ‎jbmc/regression/jbmc/NondetString/test.desc

File renamed without changes.

‎regression/cbmc-java/NondetStringBuffer/NondetStringBuffer.class renamed to ‎jbmc/regression/jbmc/NondetStringBuffer/NondetStringBuffer.class

File renamed without changes.

‎regression/cbmc-java/NondetStringBuffer/NondetStringBuffer.java renamed to ‎jbmc/regression/jbmc/NondetStringBuffer/NondetStringBuffer.java

File renamed without changes.

‎regression/cbmc-java/NondetStringBuffer/test.desc renamed to ‎jbmc/regression/jbmc/NondetStringBuffer/test.desc

File renamed without changes.

‎regression/cbmc-java/NondetStringBuilder/NondetStringBuilder.class renamed to ‎jbmc/regression/jbmc/NondetStringBuilder/NondetStringBuilder.class

File renamed without changes.

‎regression/cbmc-java/NondetStringBuilder/NondetStringBuilder.java renamed to ‎jbmc/regression/jbmc/NondetStringBuilder/NondetStringBuilder.java

File renamed without changes.

‎regression/cbmc-java/NondetStringBuilder/test.desc renamed to ‎jbmc/regression/jbmc/NondetStringBuilder/test.desc

File renamed without changes.

‎regression/cbmc-java/repeated_guards/A.class renamed to ‎jbmc/regression/jbmc/repeated_guards/A.class

File renamed without changes.

‎regression/cbmc-java/repeated_guards/B.class renamed to ‎jbmc/regression/jbmc/repeated_guards/B.class

File renamed without changes.

‎regression/cbmc-java/repeated_guards/Test.class renamed to ‎jbmc/regression/jbmc/repeated_guards/Test.class

File renamed without changes.

‎regression/cbmc-java/repeated_guards/Test.java renamed to ‎jbmc/regression/jbmc/repeated_guards/Test.java

File renamed without changes.

‎regression/cbmc-java/repeated_guards/test_arraybounds.desc renamed to ‎jbmc/regression/jbmc/repeated_guards/test_arraybounds.desc

File renamed without changes.

‎regression/cbmc-java/repeated_guards/test_arraycreation.desc renamed to ‎jbmc/regression/jbmc/repeated_guards/test_arraycreation.desc

File renamed without changes.

‎regression/cbmc-java/repeated_guards/test_assertion.desc renamed to ‎jbmc/regression/jbmc/repeated_guards/test_assertion.desc

File renamed without changes.

‎regression/cbmc-java/repeated_guards/test_classcast.desc renamed to ‎jbmc/regression/jbmc/repeated_guards/test_classcast.desc

File renamed without changes.

‎regression/cbmc-java/repeated_guards/test_divbyzero.desc renamed to ‎jbmc/regression/jbmc/repeated_guards/test_divbyzero.desc

File renamed without changes.

‎regression/cbmc-java/repeated_guards/test_nullderef.desc renamed to ‎jbmc/regression/jbmc/repeated_guards/test_nullderef.desc

File renamed without changes.

0 commit comments

Comments
 (0)