From 252474f14c900b2018a2b2deb82f2ce067a014e0 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Thu, 19 Apr 2018 15:28:09 +0100 Subject: [PATCH] String tests: DiffBlue -> Diffblue --- .../RegexSubstitution01/RegexSubstitution01.java | 4 ++-- .../RegexSubstitution02/RegexSubstitution02.java | 2 +- .../RegexSubstitution03/RegexSubstitution03.java | 4 ++-- .../StringBuilderChars01/StringBuilderChars01.java | 4 ++-- .../StringBuilderChars02/StringBuilderChars02.java | 4 ++-- .../StringBuilderChars03/StringBuilderChars03.java | 2 +- .../StringBuilderChars04/StringBuilderChars04.java | 2 +- .../StringBuilderChars05/StringBuilderChars05.java | 2 +- .../StringBuilderChars06/StringBuilderChars06.java | 2 +- .../StringConcatenation01/StringConcatenation01.java | 6 +++--- .../StringConcatenation02/StringConcatenation02.java | 4 ++-- .../StringConcatenation03/StringConcatenation03.java | 2 +- 12 files changed, 19 insertions(+), 19 deletions(-) diff --git a/regression/jbmc-strings/RegexSubstitution01/RegexSubstitution01.java b/regression/jbmc-strings/RegexSubstitution01/RegexSubstitution01.java index 06b9e7aaa10..f974924b349 100644 --- a/regression/jbmc-strings/RegexSubstitution01/RegexSubstitution01.java +++ b/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"); diff --git a/regression/jbmc-strings/RegexSubstitution02/RegexSubstitution02.java b/regression/jbmc-strings/RegexSubstitution02/RegexSubstitution02.java index 476c0921553..d74fb13c373 100644 --- a/regression/jbmc-strings/RegexSubstitution02/RegexSubstitution02.java +++ b/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("\\*", "^"); diff --git a/regression/jbmc-strings/RegexSubstitution03/RegexSubstitution03.java b/regression/jbmc-strings/RegexSubstitution03/RegexSubstitution03.java index 9ea91639e2c..967f13e9858 100644 --- a/regression/jbmc-strings/RegexSubstitution03/RegexSubstitution03.java +++ b/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"); diff --git a/regression/jbmc-strings/StringBuilderChars01/StringBuilderChars01.java b/regression/jbmc-strings/StringBuilderChars01/StringBuilderChars01.java index 10265254980..75467ef9caa 100644 --- a/regression/jbmc-strings/StringBuilderChars01/StringBuilderChars01.java +++ b/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()]; diff --git a/regression/jbmc-strings/StringBuilderChars02/StringBuilderChars02.java b/regression/jbmc-strings/StringBuilderChars02/StringBuilderChars02.java index c5a2bb276f3..ddd1756f1a8 100644 --- a/regression/jbmc-strings/StringBuilderChars02/StringBuilderChars02.java +++ b/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"); } } diff --git a/regression/jbmc-strings/StringBuilderChars03/StringBuilderChars03.java b/regression/jbmc-strings/StringBuilderChars03/StringBuilderChars03.java index f226901e113..96c61bdfc23 100644 --- a/regression/jbmc-strings/StringBuilderChars03/StringBuilderChars03.java +++ b/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); } } diff --git a/regression/jbmc-strings/StringBuilderChars04/StringBuilderChars04.java b/regression/jbmc-strings/StringBuilderChars04/StringBuilderChars04.java index 039c0079c42..a50c2fee502 100644 --- a/regression/jbmc-strings/StringBuilderChars04/StringBuilderChars04.java +++ b/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); diff --git a/regression/jbmc-strings/StringBuilderChars05/StringBuilderChars05.java b/regression/jbmc-strings/StringBuilderChars05/StringBuilderChars05.java index 120871f8a9d..e87fc27b4f2 100644 --- a/regression/jbmc-strings/StringBuilderChars05/StringBuilderChars05.java +++ b/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"); diff --git a/regression/jbmc-strings/StringBuilderChars06/StringBuilderChars06.java b/regression/jbmc-strings/StringBuilderChars06/StringBuilderChars06.java index f3b3b6bc8d8..8f36dc2df6e 100644 --- a/regression/jbmc-strings/StringBuilderChars06/StringBuilderChars06.java +++ b/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"); } diff --git a/regression/jbmc-strings/StringConcatenation01/StringConcatenation01.java b/regression/jbmc-strings/StringConcatenation01/StringConcatenation01.java index be516610e94..947fdd61952 100644 --- a/regression/jbmc-strings/StringConcatenation01/StringConcatenation01.java +++ b/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"); diff --git a/regression/jbmc-strings/StringConcatenation02/StringConcatenation02.java b/regression/jbmc-strings/StringConcatenation02/StringConcatenation02.java index 84f1c72e60c..52c56df1afc 100644 --- a/regression/jbmc-strings/StringConcatenation02/StringConcatenation02.java +++ b/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"); } } diff --git a/regression/jbmc-strings/StringConcatenation03/StringConcatenation03.java b/regression/jbmc-strings/StringConcatenation03/StringConcatenation03.java index 56d397b96dc..1e6354cd270 100644 --- a/regression/jbmc-strings/StringConcatenation03/StringConcatenation03.java +++ b/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));