Skip to content

Commit 8412eb0

Browse files
author
Daniel Kroening
authored
Merge pull request #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.

0 commit comments

Comments
 (0)