Skip to content

Commit 369577a

Browse files
peterschrammelpeterschrammel
committed
Move remaining java tests to jbmc/regression/
1 parent 3f7685f commit 369577a

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.

0 commit comments

Comments
 (0)