diffblue · kroening · Oct 19, 2017 · Oct 12, 2017 · Oct 12, 2017 · Oct 12, 2017
diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
@@ -35,6 +35,7 @@ add_subdirectory(goto-diff)
 add_subdirectory(goto-instrument)
 add_subdirectory(goto-instrument-typedef)
 add_subdirectory(invariants)
+add_subdirectory(jbmc-strings)
 add_subdirectory(strings)
 add_subdirectory(strings-smoke-tests)
 add_subdirectory(test-script)
diff --git a/regression/Makefile b/regression/Makefile
@@ -14,6 +14,7 @@ DIRS = ansi-c \
        goto-instrument-typedef \
        invariants \
        strings \
+       jbmc-strings \
        strings-smoke-tests \
        test-script \
        # Empty last line

diff --git a/regression/cbmc-java-inheritance/CMakeLists.txt b/regression/cbmc-java-inheritance/CMakeLists.txt
@@ -1,3 +1,3 @@
 add_test_pl_tests(
-    "$<TARGET_FILE:cbmc>"
+    "$<TARGET_FILE:jbmc>"
 )
diff --git a/regression/cbmc-java-inheritance/Makefile b/regression/cbmc-java-inheritance/Makefile
@@ -1,13 +1,13 @@
 default: tests.log
 
 test:
-	@if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
 		../failed-tests-printer.pl ; \
 		exit 1 ; \
 	fi
 
 tests.log: ../test.pl
-	@if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
 		../failed-tests-printer.pl ; \
 		exit 1 ; \
 	fi

diff --git a/regression/cbmc-java/CMakeLists.txt b/regression/cbmc-java/CMakeLists.txt
@@ -1,3 +1,3 @@
 add_test_pl_tests(
-    "$<TARGET_FILE:cbmc>"
+    "$<TARGET_FILE:jbmc>"
 )
diff --git a/regression/cbmc-java/Makefile b/regression/cbmc-java/Makefile
@@ -1,13 +1,13 @@
 default: tests.log
 
 test:
-	@if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
 		../failed-tests-printer.pl ; \
 		exit 1 ; \
 	fi
 
 tests.log: ../test.pl
-	@if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
 		../failed-tests-printer.pl ; \
 		exit 1 ; \
 	fi

diff --git a/.../trace_class_identifier/TestGenTest.class → .../trace_class_identifier/TestGenTest.class b/.../trace_class_identifier/TestGenTest.class → .../trace_class_identifier/TestGenTest.class
diff --git a/...c/trace_class_identifier/TestGenTest.java → ...a/trace_class_identifier/TestGenTest.java b/...c/trace_class_identifier/TestGenTest.java → ...a/trace_class_identifier/TestGenTest.java
diff --git a/...ion/cbmc/trace_class_identifier/test.desc → ...bmc-java/trace_class_identifier/test.desc b/...ion/cbmc/trace_class_identifier/test.desc → ...bmc-java/trace_class_identifier/test.desc
diff --git a/...on/cbmc-cover/unique-bytecode1/Test.class → ...on/jbmc-cover/unique-bytecode1/Test.class b/...on/cbmc-cover/unique-bytecode1/Test.class → ...on/jbmc-cover/unique-bytecode1/Test.class
diff --git a/...ion/cbmc-cover/unique-bytecode1/Test.java → ...ion/jbmc-cover/unique-bytecode1/Test.java b/...ion/cbmc-cover/unique-bytecode1/Test.java → ...ion/jbmc-cover/unique-bytecode1/Test.java
diff --git a/...ion/cbmc-cover/unique-bytecode1/test.desc → ...ion/jbmc-cover/unique-bytecode1/test.desc b/...ion/cbmc-cover/unique-bytecode1/test.desc → ...ion/jbmc-cover/unique-bytecode1/test.desc
diff --git a/...on/cbmc-cover/unique-bytecode2/Test.class → ...on/jbmc-cover/unique-bytecode2/Test.class b/...on/cbmc-cover/unique-bytecode2/Test.class → ...on/jbmc-cover/unique-bytecode2/Test.class
diff --git a/...ion/cbmc-cover/unique-bytecode2/Test.java → ...ion/jbmc-cover/unique-bytecode2/Test.java b/...ion/cbmc-cover/unique-bytecode2/Test.java → ...ion/jbmc-cover/unique-bytecode2/Test.java
diff --git a/...ion/cbmc-cover/unique-bytecode2/test.desc → ...ion/jbmc-cover/unique-bytecode2/test.desc b/...ion/cbmc-cover/unique-bytecode2/test.desc → ...ion/jbmc-cover/unique-bytecode2/test.desc
diff --git a/...on/cbmc-cover/unique-bytecode3/Test.class → ...on/jbmc-cover/unique-bytecode3/Test.class b/...on/cbmc-cover/unique-bytecode3/Test.class → ...on/jbmc-cover/unique-bytecode3/Test.class
diff --git a/...ion/cbmc-cover/unique-bytecode3/Test.java → ...ion/jbmc-cover/unique-bytecode3/Test.java b/...ion/cbmc-cover/unique-bytecode3/Test.java → ...ion/jbmc-cover/unique-bytecode3/Test.java
diff --git a/...ion/cbmc-cover/unique-bytecode3/test.desc → ...ion/jbmc-cover/unique-bytecode3/test.desc b/...ion/cbmc-cover/unique-bytecode3/test.desc → ...ion/jbmc-cover/unique-bytecode3/test.desc
diff --git a/regression/jbmc-strings/CMakeLists.txt b/regression/jbmc-strings/CMakeLists.txt
@@ -0,0 +1,3 @@
+add_test_pl_tests(
+    "$<TARGET_FILE:jbmc>"
+)
diff --git a/...rings/CharacterGetNumericValue/test.class → ...rings/CharacterGetNumericValue/test.class b/...rings/CharacterGetNumericValue/test.class → ...rings/CharacterGetNumericValue/test.class
diff --git a/...trings/CharacterGetNumericValue/test.desc → ...trings/CharacterGetNumericValue/test.desc b/...trings/CharacterGetNumericValue/test.desc → ...trings/CharacterGetNumericValue/test.desc
diff --git a/...trings/CharacterGetNumericValue/test.java → ...trings/CharacterGetNumericValue/test.java b/...trings/CharacterGetNumericValue/test.java → ...trings/CharacterGetNumericValue/test.java
diff --git a/regression/jbmc-strings/Makefile b/regression/jbmc-strings/Makefile
@@ -0,0 +1,38 @@
+default: tests.log
+
+test:
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
+
+testfuture:
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc -CF ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
+
+testall:
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc -CFTK ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
+
+tests.log: ../test.pl
+	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
+
+show:
+	@for dir in *; do \
+		if [ -d "$$dir" ]; then \
+			vim -o "$$dir/*.c" "$$dir/*.out"; \
+		fi; \
+	done;
+
+clean:
+	find -name '*.out' -execdir $(RM) '{}' \;
+	find -name '*.gb' -execdir $(RM) '{}' \;
+	$(RM) tests.log
+
diff --git a/...rings/RegexMatches01/RegexMatches01.class → ...rings/RegexMatches01/RegexMatches01.class b/...rings/RegexMatches01/RegexMatches01.class → ...rings/RegexMatches01/RegexMatches01.class
diff --git a/...trings/RegexMatches01/RegexMatches01.java → ...trings/RegexMatches01/RegexMatches01.java b/...trings/RegexMatches01/RegexMatches01.java → ...trings/RegexMatches01/RegexMatches01.java
diff --git a/regression/strings/RegexMatches01/test.desc → ...ion/jbmc-strings/RegexMatches01/test.desc b/regression/strings/RegexMatches01/test.desc → ...ion/jbmc-strings/RegexMatches01/test.desc
diff --git a/...rings/RegexMatches02/RegexMatches02.class → ...rings/RegexMatches02/RegexMatches02.class b/...rings/RegexMatches02/RegexMatches02.class → ...rings/RegexMatches02/RegexMatches02.class
diff --git a/...trings/RegexMatches02/RegexMatches02.java → ...trings/RegexMatches02/RegexMatches02.java b/...trings/RegexMatches02/RegexMatches02.java → ...trings/RegexMatches02/RegexMatches02.java
diff --git a/regression/strings/RegexMatches02/test.desc → ...ion/jbmc-strings/RegexMatches02/test.desc b/regression/strings/RegexMatches02/test.desc → ...ion/jbmc-strings/RegexMatches02/test.desc
diff --git a/...xSubstitution01/RegexSubstitution01.class → ...xSubstitution01/RegexSubstitution01.class b/...xSubstitution01/RegexSubstitution01.class → ...xSubstitution01/RegexSubstitution01.class
diff --git a/...exSubstitution01/RegexSubstitution01.java → ...exSubstitution01/RegexSubstitution01.java b/...exSubstitution01/RegexSubstitution01.java → ...exSubstitution01/RegexSubstitution01.java
diff --git a/...ion/strings/RegexSubstitution01/test.desc → ...bmc-strings/RegexSubstitution01/test.desc b/...ion/strings/RegexSubstitution01/test.desc → ...bmc-strings/RegexSubstitution01/test.desc
diff --git a/...xSubstitution02/RegexSubstitution02.class → ...xSubstitution02/RegexSubstitution02.class b/...xSubstitution02/RegexSubstitution02.class → ...xSubstitution02/RegexSubstitution02.class
diff --git a/...exSubstitution02/RegexSubstitution02.java → ...exSubstitution02/RegexSubstitution02.java b/...exSubstitution02/RegexSubstitution02.java → ...exSubstitution02/RegexSubstitution02.java
diff --git a/...ion/strings/RegexSubstitution02/test.desc → ...bmc-strings/RegexSubstitution02/test.desc b/...ion/strings/RegexSubstitution02/test.desc → ...bmc-strings/RegexSubstitution02/test.desc
diff --git a/...xSubstitution03/RegexSubstitution03.class → ...xSubstitution03/RegexSubstitution03.class b/...xSubstitution03/RegexSubstitution03.class → ...xSubstitution03/RegexSubstitution03.class
diff --git a/...exSubstitution03/RegexSubstitution03.java → ...exSubstitution03/RegexSubstitution03.java b/...exSubstitution03/RegexSubstitution03.java → ...exSubstitution03/RegexSubstitution03.java
diff --git a/...ion/strings/RegexSubstitution03/test.desc → ...bmc-strings/RegexSubstitution03/test.desc b/...ion/strings/RegexSubstitution03/test.desc → ...bmc-strings/RegexSubstitution03/test.desc
diff --git a/...icCharMethods01/StaticCharMethods01.class → ...icCharMethods01/StaticCharMethods01.class b/...icCharMethods01/StaticCharMethods01.class → ...icCharMethods01/StaticCharMethods01.class
diff --git a/...ticCharMethods01/StaticCharMethods01.java → ...ticCharMethods01/StaticCharMethods01.java b/...ticCharMethods01/StaticCharMethods01.java → ...ticCharMethods01/StaticCharMethods01.java
diff --git a/...ion/strings/StaticCharMethods01/test.desc → ...bmc-strings/StaticCharMethods01/test.desc b/...ion/strings/StaticCharMethods01/test.desc → ...bmc-strings/StaticCharMethods01/test.desc
diff --git a/...icCharMethods02/StaticCharMethods02.class → ...icCharMethods02/StaticCharMethods02.class b/...icCharMethods02/StaticCharMethods02.class → ...icCharMethods02/StaticCharMethods02.class
diff --git a/...ticCharMethods02/StaticCharMethods02.java → ...ticCharMethods02/StaticCharMethods02.java b/...ticCharMethods02/StaticCharMethods02.java → ...ticCharMethods02/StaticCharMethods02.java
diff --git a/...ion/strings/StaticCharMethods02/test.desc → ...bmc-strings/StaticCharMethods02/test.desc b/...ion/strings/StaticCharMethods02/test.desc → ...bmc-strings/StaticCharMethods02/test.desc
diff --git a/...icCharMethods03/StaticCharMethods03.class → ...icCharMethods03/StaticCharMethods03.class b/...icCharMethods03/StaticCharMethods03.class → ...icCharMethods03/StaticCharMethods03.class
diff --git a/...ticCharMethods03/StaticCharMethods03.java → ...ticCharMethods03/StaticCharMethods03.java b/...ticCharMethods03/StaticCharMethods03.java → ...ticCharMethods03/StaticCharMethods03.java
diff --git a/...ion/strings/StaticCharMethods03/test.desc → ...bmc-strings/StaticCharMethods03/test.desc b/...ion/strings/StaticCharMethods03/test.desc → ...bmc-strings/StaticCharMethods03/test.desc
diff --git a/...icCharMethods04/StaticCharMethods04.class → ...icCharMethods04/StaticCharMethods04.class b/...icCharMethods04/StaticCharMethods04.class → ...icCharMethods04/StaticCharMethods04.class
diff --git a/...ticCharMethods04/StaticCharMethods04.java → ...ticCharMethods04/StaticCharMethods04.java b/...ticCharMethods04/StaticCharMethods04.java → ...ticCharMethods04/StaticCharMethods04.java
diff --git a/...ion/strings/StaticCharMethods04/test.desc → ...bmc-strings/StaticCharMethods04/test.desc b/...ion/strings/StaticCharMethods04/test.desc → ...bmc-strings/StaticCharMethods04/test.desc
diff --git a/...icCharMethods05/StaticCharMethods05.class → ...icCharMethods05/StaticCharMethods05.class b/...icCharMethods05/StaticCharMethods05.class → ...icCharMethods05/StaticCharMethods05.class
diff --git a/...ticCharMethods05/StaticCharMethods05.java → ...ticCharMethods05/StaticCharMethods05.java b/...ticCharMethods05/StaticCharMethods05.java → ...ticCharMethods05/StaticCharMethods05.java
diff --git a/...ion/strings/StaticCharMethods05/test.desc → ...bmc-strings/StaticCharMethods05/test.desc b/...ion/strings/StaticCharMethods05/test.desc → ...bmc-strings/StaticCharMethods05/test.desc
diff --git a/...icCharMethods06/StaticCharMethods06.class → ...icCharMethods06/StaticCharMethods06.class b/...icCharMethods06/StaticCharMethods06.class → ...icCharMethods06/StaticCharMethods06.class
diff --git a/...ticCharMethods06/StaticCharMethods06.java → ...ticCharMethods06/StaticCharMethods06.java b/...ticCharMethods06/StaticCharMethods06.java → ...ticCharMethods06/StaticCharMethods06.java
diff --git a/...ion/strings/StaticCharMethods06/test.desc → ...bmc-strings/StaticCharMethods06/test.desc b/...ion/strings/StaticCharMethods06/test.desc → ...bmc-strings/StaticCharMethods06/test.desc
diff --git a/...ilderAppend01/StringBuilderAppend01.class → ...ilderAppend01/StringBuilderAppend01.class b/...ilderAppend01/StringBuilderAppend01.class → ...ilderAppend01/StringBuilderAppend01.class
diff --git a/...uilderAppend01/StringBuilderAppend01.java → ...uilderAppend01/StringBuilderAppend01.java b/...uilderAppend01/StringBuilderAppend01.java → ...uilderAppend01/StringBuilderAppend01.java
diff --git a/...n/strings/StringBuilderAppend01/test.desc → ...c-strings/StringBuilderAppend01/test.desc b/...n/strings/StringBuilderAppend01/test.desc → ...c-strings/StringBuilderAppend01/test.desc
diff --git a/...ilderAppend02/StringBuilderAppend02.class → ...ilderAppend02/StringBuilderAppend02.class b/...ilderAppend02/StringBuilderAppend02.class → ...ilderAppend02/StringBuilderAppend02.class
diff --git a/...uilderAppend02/StringBuilderAppend02.java → ...uilderAppend02/StringBuilderAppend02.java b/...uilderAppend02/StringBuilderAppend02.java → ...uilderAppend02/StringBuilderAppend02.java
diff --git a/...n/strings/StringBuilderAppend02/test.desc → ...c-strings/StringBuilderAppend02/test.desc b/...n/strings/StringBuilderAppend02/test.desc → ...c-strings/StringBuilderAppend02/test.desc
diff --git a/...ilderCapLen01/StringBuilderCapLen01.class → ...ilderCapLen01/StringBuilderCapLen01.class b/...ilderCapLen01/StringBuilderCapLen01.class → ...ilderCapLen01/StringBuilderCapLen01.class
diff --git a/...uilderCapLen01/StringBuilderCapLen01.java → ...uilderCapLen01/StringBuilderCapLen01.java b/...uilderCapLen01/StringBuilderCapLen01.java → ...uilderCapLen01/StringBuilderCapLen01.java
diff --git a/...n/strings/StringBuilderCapLen01/test.desc → ...c-strings/StringBuilderCapLen01/test.desc b/...n/strings/StringBuilderCapLen01/test.desc → ...c-strings/StringBuilderCapLen01/test.desc
diff --git a/...ilderCapLen02/StringBuilderCapLen02.class → ...ilderCapLen02/StringBuilderCapLen02.class b/...ilderCapLen02/StringBuilderCapLen02.class → ...ilderCapLen02/StringBuilderCapLen02.class
diff --git a/...uilderCapLen02/StringBuilderCapLen02.java → ...uilderCapLen02/StringBuilderCapLen02.java b/...uilderCapLen02/StringBuilderCapLen02.java → ...uilderCapLen02/StringBuilderCapLen02.java
diff --git a/...n/strings/StringBuilderCapLen02/test.desc → ...c-strings/StringBuilderCapLen02/test.desc b/...n/strings/StringBuilderCapLen02/test.desc → ...c-strings/StringBuilderCapLen02/test.desc
diff --git a/...ilderCapLen03/StringBuilderCapLen03.class → ...ilderCapLen03/StringBuilderCapLen03.class b/...ilderCapLen03/StringBuilderCapLen03.class → ...ilderCapLen03/StringBuilderCapLen03.class
diff --git a/...uilderCapLen03/StringBuilderCapLen03.java → ...uilderCapLen03/StringBuilderCapLen03.java b/...uilderCapLen03/StringBuilderCapLen03.java → ...uilderCapLen03/StringBuilderCapLen03.java
diff --git a/...n/strings/StringBuilderCapLen03/test.desc → ...c-strings/StringBuilderCapLen03/test.desc b/...n/strings/StringBuilderCapLen03/test.desc → ...c-strings/StringBuilderCapLen03/test.desc
diff --git a/...ilderCapLen04/StringBuilderCapLen04.class → ...ilderCapLen04/StringBuilderCapLen04.class b/...ilderCapLen04/StringBuilderCapLen04.class → ...ilderCapLen04/StringBuilderCapLen04.class
diff --git a/...uilderCapLen04/StringBuilderCapLen04.java → ...uilderCapLen04/StringBuilderCapLen04.java b/...uilderCapLen04/StringBuilderCapLen04.java → ...uilderCapLen04/StringBuilderCapLen04.java
diff --git a/...n/strings/StringBuilderCapLen04/test.desc → ...c-strings/StringBuilderCapLen04/test.desc b/...n/strings/StringBuilderCapLen04/test.desc → ...c-strings/StringBuilderCapLen04/test.desc
diff --git a/...BuilderChars01/StringBuilderChars01.class → ...BuilderChars01/StringBuilderChars01.class b/...BuilderChars01/StringBuilderChars01.class → ...BuilderChars01/StringBuilderChars01.class
diff --git a/...gBuilderChars01/StringBuilderChars01.java → ...gBuilderChars01/StringBuilderChars01.java b/...gBuilderChars01/StringBuilderChars01.java → ...gBuilderChars01/StringBuilderChars01.java
diff --git a/...on/strings/StringBuilderChars01/test.desc → ...mc-strings/StringBuilderChars01/test.desc b/...on/strings/StringBuilderChars01/test.desc → ...mc-strings/StringBuilderChars01/test.desc
diff --git a/...BuilderChars02/StringBuilderChars02.class → ...BuilderChars02/StringBuilderChars02.class b/...BuilderChars02/StringBuilderChars02.class → ...BuilderChars02/StringBuilderChars02.class
diff --git a/...gBuilderChars02/StringBuilderChars02.java → ...gBuilderChars02/StringBuilderChars02.java b/...gBuilderChars02/StringBuilderChars02.java → ...gBuilderChars02/StringBuilderChars02.java
diff --git a/...on/strings/StringBuilderChars02/test.desc → ...mc-strings/StringBuilderChars02/test.desc b/...on/strings/StringBuilderChars02/test.desc → ...mc-strings/StringBuilderChars02/test.desc
diff --git a/...BuilderChars03/StringBuilderChars03.class → ...BuilderChars03/StringBuilderChars03.class b/...BuilderChars03/StringBuilderChars03.class → ...BuilderChars03/StringBuilderChars03.class
diff --git a/...gBuilderChars03/StringBuilderChars03.java → ...gBuilderChars03/StringBuilderChars03.java b/...gBuilderChars03/StringBuilderChars03.java → ...gBuilderChars03/StringBuilderChars03.java
diff --git a/...on/strings/StringBuilderChars03/test.desc → ...mc-strings/StringBuilderChars03/test.desc b/...on/strings/StringBuilderChars03/test.desc → ...mc-strings/StringBuilderChars03/test.desc
diff --git a/...BuilderChars04/StringBuilderChars04.class → ...BuilderChars04/StringBuilderChars04.class b/...BuilderChars04/StringBuilderChars04.class → ...BuilderChars04/StringBuilderChars04.class
diff --git a/...gBuilderChars04/StringBuilderChars04.java → ...gBuilderChars04/StringBuilderChars04.java b/...gBuilderChars04/StringBuilderChars04.java → ...gBuilderChars04/StringBuilderChars04.java
diff --git a/...on/strings/StringBuilderChars04/test.desc → ...mc-strings/StringBuilderChars04/test.desc b/...on/strings/StringBuilderChars04/test.desc → ...mc-strings/StringBuilderChars04/test.desc
diff --git a/...BuilderChars05/StringBuilderChars05.class → ...BuilderChars05/StringBuilderChars05.class b/...BuilderChars05/StringBuilderChars05.class → ...BuilderChars05/StringBuilderChars05.class
diff --git a/...gBuilderChars05/StringBuilderChars05.java → ...gBuilderChars05/StringBuilderChars05.java b/...gBuilderChars05/StringBuilderChars05.java → ...gBuilderChars05/StringBuilderChars05.java
diff --git a/...on/strings/StringBuilderChars05/test.desc → ...mc-strings/StringBuilderChars05/test.desc b/...on/strings/StringBuilderChars05/test.desc → ...mc-strings/StringBuilderChars05/test.desc
diff --git a/...BuilderChars06/StringBuilderChars06.class → ...BuilderChars06/StringBuilderChars06.class b/...BuilderChars06/StringBuilderChars06.class → ...BuilderChars06/StringBuilderChars06.class
diff --git a/...gBuilderChars06/StringBuilderChars06.java → ...gBuilderChars06/StringBuilderChars06.java b/...gBuilderChars06/StringBuilderChars06.java → ...gBuilderChars06/StringBuilderChars06.java
diff --git a/...on/strings/StringBuilderChars06/test.desc → ...mc-strings/StringBuilderChars06/test.desc b/...on/strings/StringBuilderChars06/test.desc → ...mc-strings/StringBuilderChars06/test.desc
diff --git a/...ctors01/StringBuilderConstructors01.class → ...ctors01/StringBuilderConstructors01.class b/...ctors01/StringBuilderConstructors01.class → ...ctors01/StringBuilderConstructors01.class
diff --git a/...uctors01/StringBuilderConstructors01.java → ...uctors01/StringBuilderConstructors01.java b/...uctors01/StringBuilderConstructors01.java → ...uctors01/StringBuilderConstructors01.java
diff --git a/...ngs/StringBuilderConstructors01/test.desc → ...ngs/StringBuilderConstructors01/test.desc b/...ngs/StringBuilderConstructors01/test.desc → ...ngs/StringBuilderConstructors01/test.desc
diff --git a/...ctors02/StringBuilderConstructors02.class → ...ctors02/StringBuilderConstructors02.class b/...ctors02/StringBuilderConstructors02.class → ...ctors02/StringBuilderConstructors02.class
diff --git a/...uctors02/StringBuilderConstructors02.java → ...uctors02/StringBuilderConstructors02.java b/...uctors02/StringBuilderConstructors02.java → ...uctors02/StringBuilderConstructors02.java
diff --git a/...ngs/StringBuilderConstructors02/test.desc → ...ngs/StringBuilderConstructors02/test.desc b/...ngs/StringBuilderConstructors02/test.desc → ...ngs/StringBuilderConstructors02/test.desc
diff --git a/...elete01/StringBuilderInsertDelete01.class → ...elete01/StringBuilderInsertDelete01.class b/...elete01/StringBuilderInsertDelete01.class → ...elete01/StringBuilderInsertDelete01.class
diff --git a/...Delete01/StringBuilderInsertDelete01.java → ...Delete01/StringBuilderInsertDelete01.java b/...Delete01/StringBuilderInsertDelete01.java → ...Delete01/StringBuilderInsertDelete01.java
diff --git a/...ngs/StringBuilderInsertDelete01/test.desc → ...ngs/StringBuilderInsertDelete01/test.desc b/...ngs/StringBuilderInsertDelete01/test.desc → ...ngs/StringBuilderInsertDelete01/test.desc
diff --git a/...elete02/StringBuilderInsertDelete02.class → ...elete02/StringBuilderInsertDelete02.class b/...elete02/StringBuilderInsertDelete02.class → ...elete02/StringBuilderInsertDelete02.class
diff --git a/...Delete02/StringBuilderInsertDelete02.java → ...Delete02/StringBuilderInsertDelete02.java b/...Delete02/StringBuilderInsertDelete02.java → ...Delete02/StringBuilderInsertDelete02.java
diff --git a/...ngs/StringBuilderInsertDelete02/test.desc → ...ngs/StringBuilderInsertDelete02/test.desc b/...ngs/StringBuilderInsertDelete02/test.desc → ...ngs/StringBuilderInsertDelete02/test.desc
diff --git a/...elete03/StringBuilderInsertDelete03.class → ...elete03/StringBuilderInsertDelete03.class b/...elete03/StringBuilderInsertDelete03.class → ...elete03/StringBuilderInsertDelete03.class
diff --git a/...Delete03/StringBuilderInsertDelete03.java → ...Delete03/StringBuilderInsertDelete03.java b/...Delete03/StringBuilderInsertDelete03.java → ...Delete03/StringBuilderInsertDelete03.java
diff --git a/...ngs/StringBuilderInsertDelete03/test.desc → ...ngs/StringBuilderInsertDelete03/test.desc b/...ngs/StringBuilderInsertDelete03/test.desc → ...ngs/StringBuilderInsertDelete03/test.desc
diff --git a/...ngs/StringCompare01/StringCompare01.class → ...ngs/StringCompare01/StringCompare01.class b/...ngs/StringCompare01/StringCompare01.class → ...ngs/StringCompare01/StringCompare01.class
diff --git a/...ings/StringCompare01/StringCompare01.java → ...ings/StringCompare01/StringCompare01.java b/...ings/StringCompare01/StringCompare01.java → ...ings/StringCompare01/StringCompare01.java
diff --git a/regression/strings/StringCompare01/test.desc → ...on/jbmc-strings/StringCompare01/test.desc b/regression/strings/StringCompare01/test.desc → ...on/jbmc-strings/StringCompare01/test.desc
diff --git a/...ngs/StringCompare02/StringCompare02.class → ...ngs/StringCompare02/StringCompare02.class b/...ngs/StringCompare02/StringCompare02.class → ...ngs/StringCompare02/StringCompare02.class
diff --git a/...ings/StringCompare02/StringCompare02.java → ...ings/StringCompare02/StringCompare02.java b/...ings/StringCompare02/StringCompare02.java → ...ings/StringCompare02/StringCompare02.java
diff --git a/regression/strings/StringCompare02/test.desc → ...on/jbmc-strings/StringCompare02/test.desc b/regression/strings/StringCompare02/test.desc → ...on/jbmc-strings/StringCompare02/test.desc
diff --git a/...ngs/StringCompare03/StringCompare03.class → ...ngs/StringCompare03/StringCompare03.class b/...ngs/StringCompare03/StringCompare03.class → ...ngs/StringCompare03/StringCompare03.class
diff --git a/...ings/StringCompare03/StringCompare03.java → ...ings/StringCompare03/StringCompare03.java b/...ings/StringCompare03/StringCompare03.java → ...ings/StringCompare03/StringCompare03.java
diff --git a/regression/strings/StringCompare03/test.desc → ...on/jbmc-strings/StringCompare03/test.desc b/regression/strings/StringCompare03/test.desc → ...on/jbmc-strings/StringCompare03/test.desc
diff --git a/...ngs/StringCompare04/StringCompare04.class → ...ngs/StringCompare04/StringCompare04.class b/...ngs/StringCompare04/StringCompare04.class → ...ngs/StringCompare04/StringCompare04.class
diff --git a/...ings/StringCompare04/StringCompare04.java → ...ings/StringCompare04/StringCompare04.java b/...ings/StringCompare04/StringCompare04.java → ...ings/StringCompare04/StringCompare04.java
diff --git a/regression/strings/StringCompare04/test.desc → ...on/jbmc-strings/StringCompare04/test.desc b/regression/strings/StringCompare04/test.desc → ...on/jbmc-strings/StringCompare04/test.desc
diff --git a/...ngs/StringCompare05/StringCompare05.class → ...ngs/StringCompare05/StringCompare05.class b/...ngs/StringCompare05/StringCompare05.class → ...ngs/StringCompare05/StringCompare05.class
diff --git a/...ings/StringCompare05/StringCompare05.java → ...ings/StringCompare05/StringCompare05.java b/...ings/StringCompare05/StringCompare05.java → ...ings/StringCompare05/StringCompare05.java
diff --git a/regression/strings/StringCompare05/test.desc → ...on/jbmc-strings/StringCompare05/test.desc b/regression/strings/StringCompare05/test.desc → ...on/jbmc-strings/StringCompare05/test.desc
diff --git a/...ncatenation01/StringConcatenation01.class → ...ncatenation01/StringConcatenation01.class b/...ncatenation01/StringConcatenation01.class → ...ncatenation01/StringConcatenation01.class
diff --git a/...oncatenation01/StringConcatenation01.java → ...oncatenation01/StringConcatenation01.java b/...oncatenation01/StringConcatenation01.java → ...oncatenation01/StringConcatenation01.java
diff --git a/...n/strings/StringConcatenation01/test.desc → ...c-strings/StringConcatenation01/test.desc b/...n/strings/StringConcatenation01/test.desc → ...c-strings/StringConcatenation01/test.desc
diff --git a/...ncatenation02/StringConcatenation02.class → ...ncatenation02/StringConcatenation02.class b/...ncatenation02/StringConcatenation02.class → ...ncatenation02/StringConcatenation02.class
diff --git a/...oncatenation02/StringConcatenation02.java → ...oncatenation02/StringConcatenation02.java b/...oncatenation02/StringConcatenation02.java → ...oncatenation02/StringConcatenation02.java
diff --git a/...n/strings/StringConcatenation02/test.desc → ...c-strings/StringConcatenation02/test.desc b/...n/strings/StringConcatenation02/test.desc → ...c-strings/StringConcatenation02/test.desc
diff --git a/...ncatenation03/StringConcatenation03.class → ...ncatenation03/StringConcatenation03.class b/...ncatenation03/StringConcatenation03.class → ...ncatenation03/StringConcatenation03.class
diff --git a/...oncatenation03/StringConcatenation03.java → ...oncatenation03/StringConcatenation03.java b/...oncatenation03/StringConcatenation03.java → ...oncatenation03/StringConcatenation03.java
diff --git a/...n/strings/StringConcatenation03/test.desc → ...c-strings/StringConcatenation03/test.desc b/...n/strings/StringConcatenation03/test.desc → ...c-strings/StringConcatenation03/test.desc
diff --git a/...ncatenation04/StringConcatenation04.class → ...ncatenation04/StringConcatenation04.class b/...ncatenation04/StringConcatenation04.class → ...ncatenation04/StringConcatenation04.class
diff --git a/...oncatenation04/StringConcatenation04.java → ...oncatenation04/StringConcatenation04.java b/...oncatenation04/StringConcatenation04.java → ...oncatenation04/StringConcatenation04.java
diff --git a/...n/strings/StringConcatenation04/test.desc → ...c-strings/StringConcatenation04/test.desc b/...n/strings/StringConcatenation04/test.desc → ...c-strings/StringConcatenation04/test.desc
diff --git a/...Constructors01/StringConstructors01.class → ...Constructors01/StringConstructors01.class b/...Constructors01/StringConstructors01.class → ...Constructors01/StringConstructors01.class
diff --git a/...gConstructors01/StringConstructors01.java → ...gConstructors01/StringConstructors01.java b/...gConstructors01/StringConstructors01.java → ...gConstructors01/StringConstructors01.java
diff --git a/...on/strings/StringConstructors01/test.desc → ...mc-strings/StringConstructors01/test.desc b/...on/strings/StringConstructors01/test.desc → ...mc-strings/StringConstructors01/test.desc
diff --git a/...Constructors02/StringConstructors02.class → ...Constructors02/StringConstructors02.class b/...Constructors02/StringConstructors02.class → ...Constructors02/StringConstructors02.class
diff --git a/...gConstructors02/StringConstructors02.java → ...gConstructors02/StringConstructors02.java b/...gConstructors02/StringConstructors02.java → ...gConstructors02/StringConstructors02.java
diff --git a/...on/strings/StringConstructors02/test.desc → ...mc-strings/StringConstructors02/test.desc b/...on/strings/StringConstructors02/test.desc → ...mc-strings/StringConstructors02/test.desc
diff --git a/...Constructors03/StringConstructors03.class → ...Constructors03/StringConstructors03.class b/...Constructors03/StringConstructors03.class → ...Constructors03/StringConstructors03.class
diff --git a/...gConstructors03/StringConstructors03.java → ...gConstructors03/StringConstructors03.java b/...gConstructors03/StringConstructors03.java → ...gConstructors03/StringConstructors03.java
diff --git a/...on/strings/StringConstructors03/test.desc → ...mc-strings/StringConstructors03/test.desc b/...on/strings/StringConstructors03/test.desc → ...mc-strings/StringConstructors03/test.desc
diff --git a/...Constructors04/StringConstructors04.class → ...Constructors04/StringConstructors04.class b/...Constructors04/StringConstructors04.class → ...Constructors04/StringConstructors04.class
diff --git a/...gConstructors04/StringConstructors04.java → ...gConstructors04/StringConstructors04.java b/...gConstructors04/StringConstructors04.java → ...gConstructors04/StringConstructors04.java
diff --git a/...on/strings/StringConstructors04/test.desc → ...mc-strings/StringConstructors04/test.desc b/...on/strings/StringConstructors04/test.desc → ...mc-strings/StringConstructors04/test.desc
diff --git a/...Constructors05/StringConstructors05.class → ...Constructors05/StringConstructors05.class b/...Constructors05/StringConstructors05.class → ...Constructors05/StringConstructors05.class
diff --git a/...gConstructors05/StringConstructors05.java → ...gConstructors05/StringConstructors05.java b/...gConstructors05/StringConstructors05.java → ...gConstructors05/StringConstructors05.java
diff --git a/...on/strings/StringConstructors05/test.desc → ...mc-strings/StringConstructors05/test.desc b/...on/strings/StringConstructors05/test.desc → ...mc-strings/StringConstructors05/test.desc
diff --git a/...ssion/strings/StringContains01/test.class → .../jbmc-strings/StringContains01/test.class b/...ssion/strings/StringContains01/test.class → .../jbmc-strings/StringContains01/test.class
diff --git a/...ession/strings/StringContains01/test.desc → ...n/jbmc-strings/StringContains01/test.desc b/...ession/strings/StringContains01/test.desc → ...n/jbmc-strings/StringContains01/test.desc
diff --git a/...ession/strings/StringContains01/test.java → ...n/jbmc-strings/StringContains01/test.java b/...ession/strings/StringContains01/test.java → ...n/jbmc-strings/StringContains01/test.java
diff --git a/...ssion/strings/StringContains02/test.class → .../jbmc-strings/StringContains02/test.class b/...ssion/strings/StringContains02/test.class → .../jbmc-strings/StringContains02/test.class
diff --git a/...ession/strings/StringContains02/test.desc → ...n/jbmc-strings/StringContains02/test.desc b/...ession/strings/StringContains02/test.desc → ...n/jbmc-strings/StringContains02/test.desc
diff --git a/...ession/strings/StringContains02/test.java → ...n/jbmc-strings/StringContains02/test.java b/...ession/strings/StringContains02/test.java → ...n/jbmc-strings/StringContains02/test.java
diff --git a/...IndexMethods01/StringIndexMethods01.class → ...IndexMethods01/StringIndexMethods01.class b/...IndexMethods01/StringIndexMethods01.class → ...IndexMethods01/StringIndexMethods01.class
diff --git a/...gIndexMethods01/StringIndexMethods01.java → ...gIndexMethods01/StringIndexMethods01.java b/...gIndexMethods01/StringIndexMethods01.java → ...gIndexMethods01/StringIndexMethods01.java
diff --git a/...on/strings/StringIndexMethods01/test.desc → ...mc-strings/StringIndexMethods01/test.desc b/...on/strings/StringIndexMethods01/test.desc → ...mc-strings/StringIndexMethods01/test.desc
diff --git a/...IndexMethods02/StringIndexMethods02.class → ...IndexMethods02/StringIndexMethods02.class b/...IndexMethods02/StringIndexMethods02.class → ...IndexMethods02/StringIndexMethods02.class
diff --git a/...gIndexMethods02/StringIndexMethods02.java → ...gIndexMethods02/StringIndexMethods02.java b/...gIndexMethods02/StringIndexMethods02.java → ...gIndexMethods02/StringIndexMethods02.java
diff --git a/...on/strings/StringIndexMethods02/test.desc → ...mc-strings/StringIndexMethods02/test.desc b/...on/strings/StringIndexMethods02/test.desc → ...mc-strings/StringIndexMethods02/test.desc
diff --git a/...IndexMethods03/StringIndexMethods03.class → ...IndexMethods03/StringIndexMethods03.class b/...IndexMethods03/StringIndexMethods03.class → ...IndexMethods03/StringIndexMethods03.class
diff --git a/...gIndexMethods03/StringIndexMethods03.java → ...gIndexMethods03/StringIndexMethods03.java b/...gIndexMethods03/StringIndexMethods03.java → ...gIndexMethods03/StringIndexMethods03.java
diff --git a/...on/strings/StringIndexMethods03/test.desc → ...mc-strings/StringIndexMethods03/test.desc b/...on/strings/StringIndexMethods03/test.desc → ...mc-strings/StringIndexMethods03/test.desc
diff --git a/...IndexMethods04/StringIndexMethods04.class → ...IndexMethods04/StringIndexMethods04.class b/...IndexMethods04/StringIndexMethods04.class → ...IndexMethods04/StringIndexMethods04.class
diff --git a/...gIndexMethods04/StringIndexMethods04.java → ...gIndexMethods04/StringIndexMethods04.java b/...gIndexMethods04/StringIndexMethods04.java → ...gIndexMethods04/StringIndexMethods04.java
diff --git a/...on/strings/StringIndexMethods04/test.desc → ...mc-strings/StringIndexMethods04/test.desc b/...on/strings/StringIndexMethods04/test.desc → ...mc-strings/StringIndexMethods04/test.desc
diff --git a/...trings/StringIndexMethods04/test_bug.desc → ...trings/StringIndexMethods04/test_bug.desc b/...trings/StringIndexMethods04/test_bug.desc → ...trings/StringIndexMethods04/test_bug.desc
diff --git a/...IndexMethods05/StringIndexMethods05.class → ...IndexMethods05/StringIndexMethods05.class b/...IndexMethods05/StringIndexMethods05.class → ...IndexMethods05/StringIndexMethods05.class
diff --git a/...gIndexMethods05/StringIndexMethods05.java → ...gIndexMethods05/StringIndexMethods05.java b/...gIndexMethods05/StringIndexMethods05.java → ...gIndexMethods05/StringIndexMethods05.java
diff --git a/...on/strings/StringIndexMethods05/test.desc → ...mc-strings/StringIndexMethods05/test.desc b/...on/strings/StringIndexMethods05/test.desc → ...mc-strings/StringIndexMethods05/test.desc
diff --git a/...scellaneous01/StringMiscellaneous01.class → ...scellaneous01/StringMiscellaneous01.class b/...scellaneous01/StringMiscellaneous01.class → ...scellaneous01/StringMiscellaneous01.class
diff --git a/...iscellaneous01/StringMiscellaneous01.java → ...iscellaneous01/StringMiscellaneous01.java b/...iscellaneous01/StringMiscellaneous01.java → ...iscellaneous01/StringMiscellaneous01.java
diff --git a/...n/strings/StringMiscellaneous01/test.desc → ...c-strings/StringMiscellaneous01/test.desc b/...n/strings/StringMiscellaneous01/test.desc → ...c-strings/StringMiscellaneous01/test.desc
diff --git a/...scellaneous02/StringMiscellaneous02.class → ...scellaneous02/StringMiscellaneous02.class b/...scellaneous02/StringMiscellaneous02.class → ...scellaneous02/StringMiscellaneous02.class
diff --git a/...iscellaneous02/StringMiscellaneous02.java → ...iscellaneous02/StringMiscellaneous02.java b/...iscellaneous02/StringMiscellaneous02.java → ...iscellaneous02/StringMiscellaneous02.java
diff --git a/...n/strings/StringMiscellaneous02/test.desc → ...c-strings/StringMiscellaneous02/test.desc b/...n/strings/StringMiscellaneous02/test.desc → ...c-strings/StringMiscellaneous02/test.desc
diff --git a/...scellaneous03/StringMiscellaneous03.class → ...scellaneous03/StringMiscellaneous03.class b/...scellaneous03/StringMiscellaneous03.class → ...scellaneous03/StringMiscellaneous03.class
diff --git a/...iscellaneous03/StringMiscellaneous03.java → ...iscellaneous03/StringMiscellaneous03.java b/...iscellaneous03/StringMiscellaneous03.java → ...iscellaneous03/StringMiscellaneous03.java
diff --git a/...n/strings/StringMiscellaneous03/test.desc → ...c-strings/StringMiscellaneous03/test.desc b/...n/strings/StringMiscellaneous03/test.desc → ...c-strings/StringMiscellaneous03/test.desc
diff --git a/...scellaneous04/StringMiscellaneous04.class → ...scellaneous04/StringMiscellaneous04.class b/...scellaneous04/StringMiscellaneous04.class → ...scellaneous04/StringMiscellaneous04.class
diff --git a/...iscellaneous04/StringMiscellaneous04.java → ...iscellaneous04/StringMiscellaneous04.java b/...iscellaneous04/StringMiscellaneous04.java → ...iscellaneous04/StringMiscellaneous04.java
diff --git a/...n/strings/StringMiscellaneous04/test.desc → ...c-strings/StringMiscellaneous04/test.desc b/...n/strings/StringMiscellaneous04/test.desc → ...c-strings/StringMiscellaneous04/test.desc
diff --git a/...s/StringStartEnd01/StringStartEnd01.class → ...s/StringStartEnd01/StringStartEnd01.class b/...s/StringStartEnd01/StringStartEnd01.class → ...s/StringStartEnd01/StringStartEnd01.class
diff --git a/...gs/StringStartEnd01/StringStartEnd01.java → ...gs/StringStartEnd01/StringStartEnd01.java b/...gs/StringStartEnd01/StringStartEnd01.java → ...gs/StringStartEnd01/StringStartEnd01.java
diff --git a/...ession/strings/StringStartEnd01/test.desc → ...n/jbmc-strings/StringStartEnd01/test.desc b/...ession/strings/StringStartEnd01/test.desc → ...n/jbmc-strings/StringStartEnd01/test.desc
diff --git a/...s/StringStartEnd02/StringStartEnd02.class → ...s/StringStartEnd02/StringStartEnd02.class b/...s/StringStartEnd02/StringStartEnd02.class → ...s/StringStartEnd02/StringStartEnd02.class
diff --git a/...gs/StringStartEnd02/StringStartEnd02.java → ...gs/StringStartEnd02/StringStartEnd02.java b/...gs/StringStartEnd02/StringStartEnd02.java → ...gs/StringStartEnd02/StringStartEnd02.java
diff --git a/...ession/strings/StringStartEnd02/test.desc → ...n/jbmc-strings/StringStartEnd02/test.desc b/...ession/strings/StringStartEnd02/test.desc → ...n/jbmc-strings/StringStartEnd02/test.desc
diff --git a/...s/StringStartEnd03/StringStartEnd03.class → ...s/StringStartEnd03/StringStartEnd03.class b/...s/StringStartEnd03/StringStartEnd03.class → ...s/StringStartEnd03/StringStartEnd03.class
diff --git a/...gs/StringStartEnd03/StringStartEnd03.java → ...gs/StringStartEnd03/StringStartEnd03.java b/...gs/StringStartEnd03/StringStartEnd03.java → ...gs/StringStartEnd03/StringStartEnd03.java
diff --git a/...ession/strings/StringStartEnd03/test.desc → ...n/jbmc-strings/StringStartEnd03/test.desc b/...ession/strings/StringStartEnd03/test.desc → ...n/jbmc-strings/StringStartEnd03/test.desc
diff --git a/...ngs/StringValueOf01/StringValueOf01.class → ...ngs/StringValueOf01/StringValueOf01.class b/...ngs/StringValueOf01/StringValueOf01.class → ...ngs/StringValueOf01/StringValueOf01.class
diff --git a/...ings/StringValueOf01/StringValueOf01.java → ...ings/StringValueOf01/StringValueOf01.java b/...ings/StringValueOf01/StringValueOf01.java → ...ings/StringValueOf01/StringValueOf01.java
diff --git a/regression/strings/StringValueOf01/test.desc → ...on/jbmc-strings/StringValueOf01/test.desc b/regression/strings/StringValueOf01/test.desc → ...on/jbmc-strings/StringValueOf01/test.desc
diff --git a/...ngs/StringValueOf02/StringValueOf02.class → ...ngs/StringValueOf02/StringValueOf02.class b/...ngs/StringValueOf02/StringValueOf02.class → ...ngs/StringValueOf02/StringValueOf02.class
diff --git a/...ings/StringValueOf02/StringValueOf02.java → ...ings/StringValueOf02/StringValueOf02.java b/...ings/StringValueOf02/StringValueOf02.java → ...ings/StringValueOf02/StringValueOf02.java
diff --git a/regression/strings/StringValueOf02/test.desc → ...on/jbmc-strings/StringValueOf02/test.desc b/regression/strings/StringValueOf02/test.desc → ...on/jbmc-strings/StringValueOf02/test.desc
diff --git a/...ngs/StringValueOf03/StringValueOf03.class → ...ngs/StringValueOf03/StringValueOf03.class b/...ngs/StringValueOf03/StringValueOf03.class → ...ngs/StringValueOf03/StringValueOf03.class
diff --git a/...ings/StringValueOf03/StringValueOf03.java → ...ings/StringValueOf03/StringValueOf03.java b/...ings/StringValueOf03/StringValueOf03.java → ...ings/StringValueOf03/StringValueOf03.java
diff --git a/regression/strings/StringValueOf03/test.desc → ...on/jbmc-strings/StringValueOf03/test.desc b/regression/strings/StringValueOf03/test.desc → ...on/jbmc-strings/StringValueOf03/test.desc
diff --git a/...ngs/StringValueOf04/StringValueOf04.class → ...ngs/StringValueOf04/StringValueOf04.class b/...ngs/StringValueOf04/StringValueOf04.class → ...ngs/StringValueOf04/StringValueOf04.class
diff --git a/...ings/StringValueOf04/StringValueOf04.java → ...ings/StringValueOf04/StringValueOf04.java b/...ings/StringValueOf04/StringValueOf04.java → ...ings/StringValueOf04/StringValueOf04.java
diff --git a/regression/strings/StringValueOf04/test.desc → ...on/jbmc-strings/StringValueOf04/test.desc b/regression/strings/StringValueOf04/test.desc → ...on/jbmc-strings/StringValueOf04/test.desc
diff --git a/...ngs/StringValueOf05/StringValueOf05.class → ...ngs/StringValueOf05/StringValueOf05.class b/...ngs/StringValueOf05/StringValueOf05.class → ...ngs/StringValueOf05/StringValueOf05.class
diff --git a/...ings/StringValueOf05/StringValueOf05.java → ...ings/StringValueOf05/StringValueOf05.java b/...ings/StringValueOf05/StringValueOf05.java → ...ings/StringValueOf05/StringValueOf05.java
diff --git a/regression/strings/StringValueOf05/test.desc → ...on/jbmc-strings/StringValueOf05/test.desc b/regression/strings/StringValueOf05/test.desc → ...on/jbmc-strings/StringValueOf05/test.desc
diff --git a/...ngs/StringValueOf06/StringValueOf06.class → ...ngs/StringValueOf06/StringValueOf06.class b/...ngs/StringValueOf06/StringValueOf06.class → ...ngs/StringValueOf06/StringValueOf06.class
diff --git a/...ings/StringValueOf06/StringValueOf06.java → ...ings/StringValueOf06/StringValueOf06.java b/...ings/StringValueOf06/StringValueOf06.java → ...ings/StringValueOf06/StringValueOf06.java
diff --git a/regression/strings/StringValueOf06/test.desc → ...on/jbmc-strings/StringValueOf06/test.desc b/regression/strings/StringValueOf06/test.desc → ...on/jbmc-strings/StringValueOf06/test.desc
diff --git a/...ngs/StringValueOf07/StringValueOf07.class → ...ngs/StringValueOf07/StringValueOf07.class b/...ngs/StringValueOf07/StringValueOf07.class → ...ngs/StringValueOf07/StringValueOf07.class
diff --git a/...ings/StringValueOf07/StringValueOf07.java → ...ings/StringValueOf07/StringValueOf07.java b/...ings/StringValueOf07/StringValueOf07.java → ...ings/StringValueOf07/StringValueOf07.java
diff --git a/regression/strings/StringValueOf07/test.desc → ...on/jbmc-strings/StringValueOf07/test.desc b/regression/strings/StringValueOf07/test.desc → ...on/jbmc-strings/StringValueOf07/test.desc
diff --git a/...ngs/StringValueOf08/StringValueOf08.class → ...ngs/StringValueOf08/StringValueOf08.class b/...ngs/StringValueOf08/StringValueOf08.class → ...ngs/StringValueOf08/StringValueOf08.class
diff --git a/...ings/StringValueOf08/StringValueOf08.java → ...ings/StringValueOf08/StringValueOf08.java b/...ings/StringValueOf08/StringValueOf08.java → ...ings/StringValueOf08/StringValueOf08.java
diff --git a/regression/strings/StringValueOf08/test.desc → ...on/jbmc-strings/StringValueOf08/test.desc b/regression/strings/StringValueOf08/test.desc → ...on/jbmc-strings/StringValueOf08/test.desc
diff --git a/...ngs/StringValueOf09/StringValueOf09.class → ...ngs/StringValueOf09/StringValueOf09.class b/...ngs/StringValueOf09/StringValueOf09.class → ...ngs/StringValueOf09/StringValueOf09.class
diff --git a/...ings/StringValueOf09/StringValueOf09.java → ...ings/StringValueOf09/StringValueOf09.java b/...ings/StringValueOf09/StringValueOf09.java → ...ings/StringValueOf09/StringValueOf09.java
diff --git a/regression/strings/StringValueOf09/test.desc → ...on/jbmc-strings/StringValueOf09/test.desc b/regression/strings/StringValueOf09/test.desc → ...on/jbmc-strings/StringValueOf09/test.desc
diff --git a/...ngs/StringValueOf10/StringValueOf10.class → ...ngs/StringValueOf10/StringValueOf10.class b/...ngs/StringValueOf10/StringValueOf10.class → ...ngs/StringValueOf10/StringValueOf10.class
diff --git a/...ings/StringValueOf10/StringValueOf10.java → ...ings/StringValueOf10/StringValueOf10.java b/...ings/StringValueOf10/StringValueOf10.java → ...ings/StringValueOf10/StringValueOf10.java
diff --git a/regression/strings/StringValueOf10/test.desc → ...on/jbmc-strings/StringValueOf10/test.desc b/regression/strings/StringValueOf10/test.desc → ...on/jbmc-strings/StringValueOf10/test.desc
diff --git a/...ion/strings/SubString01/SubString01.class → ...bmc-strings/SubString01/SubString01.class b/...ion/strings/SubString01/SubString01.class → ...bmc-strings/SubString01/SubString01.class
diff --git a/...sion/strings/SubString01/SubString01.java → ...jbmc-strings/SubString01/SubString01.java b/...sion/strings/SubString01/SubString01.java → ...jbmc-strings/SubString01/SubString01.java
diff --git a/regression/strings/SubString01/test.desc → ...ession/jbmc-strings/SubString01/test.desc b/regression/strings/SubString01/test.desc → ...ession/jbmc-strings/SubString01/test.desc
diff --git a/...ion/strings/SubString02/SubString02.class → ...bmc-strings/SubString02/SubString02.class b/...ion/strings/SubString02/SubString02.class → ...bmc-strings/SubString02/SubString02.class
diff --git a/...sion/strings/SubString02/SubString02.java → ...jbmc-strings/SubString02/SubString02.java b/...sion/strings/SubString02/SubString02.java → ...jbmc-strings/SubString02/SubString02.java
diff --git a/regression/strings/SubString02/test.desc → ...ession/jbmc-strings/SubString02/test.desc b/regression/strings/SubString02/test.desc → ...ession/jbmc-strings/SubString02/test.desc
diff --git a/...ion/strings/SubString03/SubString03.class → ...bmc-strings/SubString03/SubString03.class b/...ion/strings/SubString03/SubString03.class → ...bmc-strings/SubString03/SubString03.class
diff --git a/...sion/strings/SubString03/SubString03.java → ...jbmc-strings/SubString03/SubString03.java b/...sion/strings/SubString03/SubString03.java → ...jbmc-strings/SubString03/SubString03.java
diff --git a/regression/strings/SubString03/test.desc → ...ession/jbmc-strings/SubString03/test.desc b/regression/strings/SubString03/test.desc → ...ession/jbmc-strings/SubString03/test.desc
diff --git a/...ion/strings/TokenTest01/TokenTest01.class → ...bmc-strings/TokenTest01/TokenTest01.class b/...ion/strings/TokenTest01/TokenTest01.class → ...bmc-strings/TokenTest01/TokenTest01.class
diff --git a/...sion/strings/TokenTest01/TokenTest01.java → ...jbmc-strings/TokenTest01/TokenTest01.java b/...sion/strings/TokenTest01/TokenTest01.java → ...jbmc-strings/TokenTest01/TokenTest01.java
diff --git a/regression/strings/TokenTest01/test.desc → ...ession/jbmc-strings/TokenTest01/test.desc b/regression/strings/TokenTest01/test.desc → ...ession/jbmc-strings/TokenTest01/test.desc
diff --git a/...ion/strings/TokenTest02/TokenTest02.class → ...bmc-strings/TokenTest02/TokenTest02.class b/...ion/strings/TokenTest02/TokenTest02.class → ...bmc-strings/TokenTest02/TokenTest02.class
diff --git a/...sion/strings/TokenTest02/TokenTest02.java → ...jbmc-strings/TokenTest02/TokenTest02.java b/...sion/strings/TokenTest02/TokenTest02.java → ...jbmc-strings/TokenTest02/TokenTest02.java
diff --git a/regression/strings/TokenTest02/test.desc → ...ession/jbmc-strings/TokenTest02/test.desc b/regression/strings/TokenTest02/test.desc → ...ession/jbmc-strings/TokenTest02/test.desc
diff --git a/...ssion/strings/Validate01/Validate01.class → .../jbmc-strings/Validate01/Validate01.class b/...ssion/strings/Validate01/Validate01.class → .../jbmc-strings/Validate01/Validate01.class
diff --git a/...ession/strings/Validate01/Validate01.java → ...n/jbmc-strings/Validate01/Validate01.java b/...ession/strings/Validate01/Validate01.java → ...n/jbmc-strings/Validate01/Validate01.java
diff --git a/.../strings/Validate01/ValidateInput01.class → ...-strings/Validate01/ValidateInput01.class b/.../strings/Validate01/ValidateInput01.class → ...-strings/Validate01/ValidateInput01.class
diff --git a/...n/strings/Validate01/ValidateInput01.java → ...c-strings/Validate01/ValidateInput01.java b/...n/strings/Validate01/ValidateInput01.java → ...c-strings/Validate01/ValidateInput01.java
diff --git a/regression/strings/Validate01/test.desc → regression/jbmc-strings/Validate01/test.desc b/regression/strings/Validate01/test.desc → regression/jbmc-strings/Validate01/test.desc
diff --git a/...ssion/strings/Validate02/Validate02.class → .../jbmc-strings/Validate02/Validate02.class b/...ssion/strings/Validate02/Validate02.class → .../jbmc-strings/Validate02/Validate02.class
diff --git a/...ession/strings/Validate02/Validate02.java → ...n/jbmc-strings/Validate02/Validate02.java b/...ession/strings/Validate02/Validate02.java → ...n/jbmc-strings/Validate02/Validate02.java
diff --git a/.../strings/Validate02/ValidateInput02.class → ...-strings/Validate02/ValidateInput02.class b/.../strings/Validate02/ValidateInput02.class → ...-strings/Validate02/ValidateInput02.class
diff --git a/...n/strings/Validate02/ValidateInput02.java → ...c-strings/Validate02/ValidateInput02.java b/...n/strings/Validate02/ValidateInput02.java → ...c-strings/Validate02/ValidateInput02.java
diff --git a/regression/strings/Validate02/test.desc → regression/jbmc-strings/Validate02/test.desc b/regression/strings/Validate02/test.desc → regression/jbmc-strings/Validate02/test.desc
diff --git a/...ssion/strings/bug-test-gen-095/test.class → .../jbmc-strings/bug-test-gen-095/test.class b/...ssion/strings/bug-test-gen-095/test.class → .../jbmc-strings/bug-test-gen-095/test.class
diff --git a/...ession/strings/bug-test-gen-095/test.desc → ...n/jbmc-strings/bug-test-gen-095/test.desc b/...ession/strings/bug-test-gen-095/test.desc → ...n/jbmc-strings/bug-test-gen-095/test.desc
diff --git a/...ession/strings/bug-test-gen-095/test.java → ...n/jbmc-strings/bug-test-gen-095/test.java b/...ession/strings/bug-test-gen-095/test.java → ...n/jbmc-strings/bug-test-gen-095/test.java
diff --git a/...ug-test-gen-119-2/StringValueOfLong.class → ...ug-test-gen-119-2/StringValueOfLong.class b/...ug-test-gen-119-2/StringValueOfLong.class → ...ug-test-gen-119-2/StringValueOfLong.class
diff --git a/...bug-test-gen-119-2/StringValueOfLong.java → ...bug-test-gen-119-2/StringValueOfLong.java b/...bug-test-gen-119-2/StringValueOfLong.java → ...bug-test-gen-119-2/StringValueOfLong.java
diff --git a/...sion/strings/bug-test-gen-119-2/test.desc → ...jbmc-strings/bug-test-gen-119-2/test.desc b/...sion/strings/bug-test-gen-119-2/test.desc → ...jbmc-strings/bug-test-gen-119-2/test.desc
diff --git a/.../bug-test-gen-119/StringValueOfBool.class → .../bug-test-gen-119/StringValueOfBool.class b/.../bug-test-gen-119/StringValueOfBool.class → .../bug-test-gen-119/StringValueOfBool.class
diff --git a/...s/bug-test-gen-119/StringValueOfBool.java → ...s/bug-test-gen-119/StringValueOfBool.java b/...s/bug-test-gen-119/StringValueOfBool.java → ...s/bug-test-gen-119/StringValueOfBool.java
diff --git a/...ession/strings/bug-test-gen-119/test.desc → ...n/jbmc-strings/bug-test-gen-119/test.desc b/...ession/strings/bug-test-gen-119/test.desc → ...n/jbmc-strings/bug-test-gen-119/test.desc
diff --git a/...ession/strings/java_append_char/test.desc → ...n/jbmc-strings/java_append_char/test.desc b/...ession/strings/java_append_char/test.desc → ...n/jbmc-strings/java_append_char/test.desc
diff --git a/...s/java_append_char/test_append_char.class → ...s/java_append_char/test_append_char.class b/...s/java_append_char/test_append_char.class → ...s/java_append_char/test_append_char.class
diff --git a/...gs/java_append_char/test_append_char.java → ...gs/java_append_char/test_append_char.java b/...gs/java_append_char/test_append_char.java → ...gs/java_append_char/test_append_char.java
diff --git a/regression/strings/java_append_int/test.desc → ...on/jbmc-strings/java_append_int/test.desc b/regression/strings/java_append_int/test.desc → ...on/jbmc-strings/java_append_int/test.desc
diff --git a/...ngs/java_append_int/test_append_int.class → ...ngs/java_append_int/test_append_int.class b/...ngs/java_append_int/test_append_int.class → ...ngs/java_append_int/test_append_int.class
diff --git a/...ings/java_append_int/test_append_int.java → ...ings/java_append_int/test_append_int.java b/...ings/java_append_int/test_append_int.java → ...ings/java_append_int/test_append_int.java
diff --git a/...sion/strings/java_append_object/test.desc → ...jbmc-strings/java_append_object/test.desc b/...sion/strings/java_append_object/test.desc → ...jbmc-strings/java_append_object/test.desc
diff --git a/...va_append_object/test_append_object.class → ...va_append_object/test_append_object.class b/...va_append_object/test_append_object.class → ...va_append_object/test_append_object.class
diff --git a/...ava_append_object/test_append_object.java → ...ava_append_object/test_append_object.java b/...ava_append_object/test_append_object.java → ...ava_append_object/test_append_object.java
diff --git a/...sion/strings/java_append_string/test.desc → ...jbmc-strings/java_append_string/test.desc b/...sion/strings/java_append_string/test.desc → ...jbmc-strings/java_append_string/test.desc
diff --git a/...va_append_string/test_append_string.class → ...va_append_string/test_append_string.class b/...va_append_string/test_append_string.class → ...va_append_string/test_append_string.class
diff --git a/...ava_append_string/test_append_string.java → ...ava_append_string/test_append_string.java b/...ava_append_string/test_append_string.java → ...ava_append_string/test_append_string.java
diff --git a/regression/strings/java_case/test.desc → regression/jbmc-strings/java_case/test.desc b/regression/strings/java_case/test.desc → regression/jbmc-strings/java_case/test.desc
diff --git a/regression/strings/java_case/test_case.class → ...on/jbmc-strings/java_case/test_case.class b/regression/strings/java_case/test_case.class → ...on/jbmc-strings/java_case/test_case.class
diff --git a/regression/strings/java_case/test_case.java → ...ion/jbmc-strings/java_case/test_case.java b/regression/strings/java_case/test_case.java → ...ion/jbmc-strings/java_case/test_case.java
diff --git a/regression/strings/java_char_array/test.desc → ...on/jbmc-strings/java_char_array/test.desc b/regression/strings/java_char_array/test.desc → ...on/jbmc-strings/java_char_array/test.desc
diff --git a/...ngs/java_char_array/test_char_array.class → ...ngs/java_char_array/test_char_array.class b/...ngs/java_char_array/test_char_array.class → ...ngs/java_char_array/test_char_array.class
diff --git a/...ings/java_char_array/test_char_array.java → ...ings/java_char_array/test_char_array.java b/...ings/java_char_array/test_char_array.java → ...ings/java_char_array/test_char_array.java
diff --git a/...on/strings/java_char_array_init/test.desc → ...mc-strings/java_char_array_init/test.desc b/...on/strings/java_char_array_init/test.desc → ...mc-strings/java_char_array_init/test.desc
diff --git a/...ings/java_char_array_init/test_init.class → ...ings/java_char_array_init/test_init.class b/...ings/java_char_array_init/test_init.class → ...ings/java_char_array_init/test_init.class
diff --git a/...rings/java_char_array_init/test_init.java → ...rings/java_char_array_init/test_init.java b/...rings/java_char_array_init/test_init.java → ...rings/java_char_array_init/test_init.java
diff --git a/regression/strings/java_char_at/test.desc → ...ssion/jbmc-strings/java_char_at/test.desc b/regression/strings/java_char_at/test.desc → ...ssion/jbmc-strings/java_char_at/test.desc
diff --git a/...n/strings/java_char_at/test_char_at.class → ...c-strings/java_char_at/test_char_at.class b/...n/strings/java_char_at/test_char_at.class → ...c-strings/java_char_at/test_char_at.class
diff --git a/...on/strings/java_char_at/test_char_at.java → ...mc-strings/java_char_at/test_char_at.java b/...on/strings/java_char_at/test_char_at.java → ...mc-strings/java_char_at/test_char_at.java
diff --git a/regression/strings/java_code_point/test.desc → ...on/jbmc-strings/java_code_point/test.desc b/regression/strings/java_code_point/test.desc → ...on/jbmc-strings/java_code_point/test.desc
diff --git a/...ngs/java_code_point/test_code_point.class → ...ngs/java_code_point/test_code_point.class b/...ngs/java_code_point/test_code_point.class → ...ngs/java_code_point/test_code_point.class
diff --git a/...ings/java_code_point/test_code_point.java → ...ings/java_code_point/test_code_point.java b/...ings/java_code_point/test_code_point.java → ...ings/java_code_point/test_code_point.java
diff --git a/regression/strings/java_compare/test.desc → ...ssion/jbmc-strings/java_compare/test.desc b/regression/strings/java_compare/test.desc → ...ssion/jbmc-strings/java_compare/test.desc
diff --git a/...n/strings/java_compare/test_compare.class → ...c-strings/java_compare/test_compare.class b/...n/strings/java_compare/test_compare.class → ...c-strings/java_compare/test_compare.class
diff --git a/...on/strings/java_compare/test_compare.java → ...mc-strings/java_compare/test_compare.java b/...on/strings/java_compare/test_compare.java → ...mc-strings/java_compare/test_compare.java
diff --git a/regression/strings/java_concat/test.desc → ...ession/jbmc-strings/java_concat/test.desc b/regression/strings/java_concat/test.desc → ...ession/jbmc-strings/java_concat/test.desc
diff --git a/...ion/strings/java_concat/test_concat.class → ...bmc-strings/java_concat/test_concat.class b/...ion/strings/java_concat/test_concat.class → ...bmc-strings/java_concat/test_concat.class
diff --git a/...sion/strings/java_concat/test_concat.java → ...jbmc-strings/java_concat/test_concat.java b/...sion/strings/java_concat/test_concat.java → ...jbmc-strings/java_concat/test_concat.java
diff --git a/regression/strings/java_contains/test.desc → ...sion/jbmc-strings/java_contains/test.desc b/regression/strings/java_contains/test.desc → ...sion/jbmc-strings/java_contains/test.desc
diff --git a/...strings/java_contains/test_contains.class → ...strings/java_contains/test_contains.class b/...strings/java_contains/test_contains.class → ...strings/java_contains/test_contains.class
diff --git a/.../strings/java_contains/test_contains.java → ...-strings/java_contains/test_contains.java b/.../strings/java_contains/test_contains.java → ...-strings/java_contains/test_contains.java
diff --git a/regression/strings/java_delete/test.desc → ...ession/jbmc-strings/java_delete/test.desc b/regression/strings/java_delete/test.desc → ...ession/jbmc-strings/java_delete/test.desc
diff --git a/...ion/strings/java_delete/test_delete.class → ...bmc-strings/java_delete/test_delete.class b/...ion/strings/java_delete/test_delete.class → ...bmc-strings/java_delete/test_delete.class
diff --git a/...sion/strings/java_delete/test_delete.java → ...jbmc-strings/java_delete/test_delete.java b/...sion/strings/java_delete/test_delete.java → ...jbmc-strings/java_delete/test_delete.java
diff --git a/...ion/strings/java_delete_char_at/test.desc → ...bmc-strings/java_delete_char_at/test.desc b/...ion/strings/java_delete_char_at/test.desc → ...bmc-strings/java_delete_char_at/test.desc
diff --git a/..._delete_char_at/test_delete_char_at.class → ..._delete_char_at/test_delete_char_at.class b/..._delete_char_at/test_delete_char_at.class → ..._delete_char_at/test_delete_char_at.class
diff --git a/...a_delete_char_at/test_delete_char_at.java → ...a_delete_char_at/test_delete_char_at.java b/...a_delete_char_at/test_delete_char_at.java → ...a_delete_char_at/test_delete_char_at.java
diff --git a/...on/strings/java_easychair/easychair.class → ...mc-strings/java_easychair/easychair.class b/...on/strings/java_easychair/easychair.class → ...mc-strings/java_easychair/easychair.class
diff --git a/...ion/strings/java_easychair/easychair.java → ...bmc-strings/java_easychair/easychair.java b/...ion/strings/java_easychair/easychair.java → ...bmc-strings/java_easychair/easychair.java