String tests: DiffBlue -> Diffblue

Author: smowton

regression/jbmc-strings/RegexSubstitution01/RegexSubstitution01.java

@@ -4,12 +4,12 @@ public class RegexSubstitution01
 {
    public static void main(String[] args)
    {
-      String firstString = "DiffBlue ***";
+      String firstString = "Diffblue ***";
       String secondString = "Automatic Test Case Generation";
 
       firstString = firstString.replaceAll("\\*", "^");
 
-      assert firstString.equals("DiffBlue ^^^");
+      assert firstString.equals("Diffblue ^^^");
 
       secondString = secondString.replaceAll("Automatic", "Automated");
 

regression/jbmc-strings/RegexSubstitution02/RegexSubstitution02.java

@@ -4,7 +4,7 @@ public class RegexSubstitution02
 {
    public static void main(String[] args)
    {
-      String firstString = "DiffBlue ***";
+      String firstString = "Diffblue ***";
       String secondString = "Automatic Test Case Generation";
 
       firstString = firstString.replaceAll("\\*", "^");

regression/jbmc-strings/RegexSubstitution03/RegexSubstitution03.java

@@ -4,12 +4,12 @@ public class RegexSubstitution03
 {
    public static void main(String[] args)
    {
-      String firstString = "DiffBlue ***";
+      String firstString = "Diffblue ***";
       String secondString = "Automatic Test Case Generation";
 
       firstString = firstString.replaceAll("\\*", "^");
 
-      assert firstString.equals("DiffBlue ^^^");
+      assert firstString.equals("Diffblue ^^^");
 
       secondString = secondString.replaceAll("Automatic", "Automated");
 

regression/jbmc-strings/StringBuilderChars01/StringBuilderChars01.java

@@ -2,9 +2,9 @@ public class StringBuilderChars01
 {
    public static void main(String[] args)
    {
-      StringBuilder buffer = new StringBuilder("DiffBlue Limited");
+      StringBuilder buffer = new StringBuilder("Diffblue Limited");
 
-      assert buffer.toString().equals("DiffBlue Limited");
+      assert buffer.toString().equals("Diffblue Limited");
       assert buffer.charAt(0)!=buffer.charAt(4);
 
       char[] charArray = new char[buffer.length()];

regression/jbmc-strings/StringBuilderChars02/StringBuilderChars02.java

@@ -2,7 +2,7 @@ public class StringBuilderChars02
 {
    public static void main(String[] args)
    {
-      StringBuilder buffer = new StringBuilder("DiffBlue Limited");
-      assert buffer.toString().equals("DiffBlue Limitted");
+      StringBuilder buffer = new StringBuilder("Diffblue Limited");
+      assert buffer.toString().equals("Diffblue Limitted");
    }
 }

regression/jbmc-strings/StringBuilderChars03/StringBuilderChars03.java

@@ -2,7 +2,7 @@ public class StringBuilderChars03
 {
    public static void main(String[] args)
    {
-      StringBuilder buffer = new StringBuilder("DiffBlue Limited");
+      StringBuilder buffer = new StringBuilder("Diffblue Limited");
       assert buffer.charAt(0)==buffer.charAt(4);
    }
 }

regression/jbmc-strings/StringBuilderChars04/StringBuilderChars04.java

@@ -2,7 +2,7 @@ public class StringBuilderChars04
 {
    public static void main(String[] args)
    {
-      StringBuilder buffer = new StringBuilder("DiffBlue Limited");
+      StringBuilder buffer = new StringBuilder("Diffblue Limited");
 
       char[] charArray = new char[buffer.length()];
       buffer.getChars(0, buffer.length(), charArray, 0);

regression/jbmc-strings/StringBuilderChars05/StringBuilderChars05.java

@@ -2,7 +2,7 @@ public class StringBuilderChars05
 {
    public static void main(String[] args)
    {
-      StringBuilder buffer = new StringBuilder("DiffBlue Limited");
+      StringBuilder buffer = new StringBuilder("Diffblue Limited");
       buffer.setCharAt(0, 'H');
       buffer.setCharAt(6, 'T');
       assert buffer.toString().equals("HiffBllTe Limited");

regression/jbmc-strings/StringBuilderChars06/StringBuilderChars06.java

@@ -2,7 +2,7 @@ public class StringBuilderChars06
 {
    public static void main(String[] args)
    {
-      StringBuilder buffer = new StringBuilder("DiffBlue Limited");
+      StringBuilder buffer = new StringBuilder("Diffblue Limited");
       buffer.reverse();
       assert buffer.toString().equals("detimiL eTlBffiiH");
    }

regression/jbmc-strings/StringConcatenation01/StringConcatenation01.java

@@ -3,13 +3,13 @@ public class StringConcatenation01
    public static void main(String[] args)
    {
       String s1 = "Happy at";
-      String s2 = " DiffBlue";
+      String s2 = " Diffblue";
 
       assert s1.equals("Happy at");
-      assert s2.equals(" DiffBlue");
+      assert s2.equals(" Diffblue");
 
       String tmp=s1.concat(s2);
-      assert tmp.equals("Happy at DiffBlue");
+      assert tmp.equals("Happy at Diffblue");
 
       tmp=s1;
       assert tmp.equals("Happy at");

regression/jbmc-strings/StringConcatenation02/StringConcatenation02.java

@@ -3,8 +3,8 @@ public class StringConcatenation02
    public static void main(String[] args)
    {
       String s1 = "Happy at";
-      String s2 = " DiffBlue";
+      String s2 = " Diffblue";
       assert s1.equals("Happy at ");
-      assert s2.equals(" DiffBlue");
+      assert s2.equals(" Diffblue");
    }
 }

regression/jbmc-strings/StringConcatenation03/StringConcatenation03.java

@@ -3,7 +3,7 @@ public class StringConcatenation03
    public static void main(String[] args)
    {
       String s1 = "Happy at";
-      String s2 = " DiffBlue";
+      String s2 = " Diffblue";
 
       System.out.printf(
          "Result of s1.concat(s2) = %s\n", s1.concat(s2));