Renamed DiffBlue -> Diffblue

NathanJPhillips · NathanJPhillips · commit 9a59fb961fe9 · 2017-10-18T14:19:29.000+01:00
diff --git a/regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/readme.txt b/regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/readme.txt
@@ -1,2 +1,2 @@
 Source of benchmark:
-https://github.com/DiffBlue-benchmarks/java-test
+https://github.com/Diffblue-benchmarks/java-test
diff --git a/regression/strings/RegexSubstitution01/RegexSubstitution01.java b/regression/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/strings/RegexSubstitution02/RegexSubstitution02.java b/regression/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/strings/RegexSubstitution03/RegexSubstitution03.java b/regression/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/strings/StringBuilderChars01/StringBuilderChars01.java b/regression/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/strings/StringBuilderChars02/StringBuilderChars02.java b/regression/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/strings/StringBuilderChars03/StringBuilderChars03.java b/regression/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/strings/StringBuilderChars04/StringBuilderChars04.java b/regression/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/strings/StringBuilderChars05/StringBuilderChars05.java b/regression/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/strings/StringBuilderChars06/StringBuilderChars06.java b/regression/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/strings/StringConcatenation01/StringConcatenation01.java b/regression/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/strings/StringConcatenation02/StringConcatenation02.java b/regression/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/strings/StringConcatenation03/StringConcatenation03.java b/regression/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));
diff --git a/src/analyses/does_remove_const.cpp b/src/analyses/does_remove_const.cpp
@@ -2,7 +2,7 @@
 
  Module: Analyses
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/analyses/does_remove_const.h b/src/analyses/does_remove_const.h
@@ -2,7 +2,7 @@
 
  Module: Analyses
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 /// \file
diff --git a/src/ansi-c/c_nondet_symbol_factory.cpp b/src/ansi-c/c_nondet_symbol_factory.cpp
@@ -2,7 +2,7 @@
 
 Module: C Nondet Symbol Factory
 
-Author: DiffBlue Limited. All rights reserved.
+Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/ansi-c/c_nondet_symbol_factory.h b/src/ansi-c/c_nondet_symbol_factory.h
@@ -2,7 +2,7 @@
 
 Module: C Nondet Symbol Factory
 
-Author: DiffBlue Limited. All rights reserved.
+Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -435,7 +435,7 @@ void goto_analyzer_parse_optionst::help()
   std::cout << " * *\n";
 
   std::cout <<
-    "* *                Daniel Kroening, DiffBlue                * *\n"
+    "* *                Daniel Kroening, Diffblue                * *\n"
     "* *                 kroening@kroening.com                   * *\n"
     "\n"
     "Usage:                       Purpose:\n"
diff --git a/src/goto-programs/resolve_concrete_function_call.cpp b/src/goto-programs/resolve_concrete_function_call.cpp
@@ -2,7 +2,7 @@
 
  Module: GOTO Program Utilities
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/goto-programs/resolve_concrete_function_call.h b/src/goto-programs/resolve_concrete_function_call.h
@@ -2,7 +2,7 @@
 
  Module: GOTO Program Utilities
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/java_bytecode/ci_lazy_methods.cpp b/src/java_bytecode/ci_lazy_methods.cpp
@@ -2,7 +2,7 @@
 
  Module: Java Bytecode
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 #include "ci_lazy_methods.h"
diff --git a/src/java_bytecode/ci_lazy_methods.h b/src/java_bytecode/ci_lazy_methods.h
@@ -2,7 +2,7 @@
 
  Module: Java Bytecode
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/java_bytecode/java_pointer_casts.h b/src/java_bytecode/java_pointer_casts.h
@@ -2,7 +2,7 @@
 
 Module: JAVA Pointer Casts
 
-Author: DiffBlue
+Author: Diffblue
 
 \*******************************************************************/
 
diff --git a/src/java_bytecode/select_pointer_type.cpp b/src/java_bytecode/select_pointer_type.cpp
@@ -2,7 +2,7 @@
 
  Module: Java Bytecode Language Conversion
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/java_bytecode/select_pointer_type.h b/src/java_bytecode/select_pointer_type.h
@@ -2,7 +2,7 @@
 
  Module: Java Bytecode Language Conversion
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 #ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H
diff --git a/src/langapi/language_util.cpp b/src/langapi/language_util.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
 
 
 #include "language_util.h"
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// Value Set
diff --git a/src/util/expr_iterator.h b/src/util/expr_iterator.h
@@ -2,7 +2,7 @@
 
  Module: exprt iterator module
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/src/util/recording_symbol_table.h b/src/util/recording_symbol_table.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// A symbol table that records which entries have been updated
diff --git a/src/util/symbol_table.cpp b/src/util/symbol_table.cpp
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
 
 #include "symbol_table.h"
 
diff --git a/src/util/symbol_table.h b/src/util/symbol_table.h
@@ -1,4 +1,4 @@
-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
+// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
 
 /// \file
 /// Symbol table
diff --git a/unit/analyses/ai/ai_simplify_lhs.cpp b/unit/analyses/ai/ai_simplify_lhs.cpp
@@ -2,7 +2,7 @@
 
  Module: Unit tests for ai_domain_baset::ai_simplify_lhs
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/analyses/does_remove_const/does_expr_lose_const.cpp b/unit/analyses/does_remove_const/does_expr_lose_const.cpp
@@ -2,7 +2,7 @@
 
  Module: Does Remove Const Unit Tests
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/analyses/does_remove_const/does_remove_const_util.h b/unit/analyses/does_remove_const/does_remove_const_util.h
@@ -2,7 +2,7 @@
 
  Module: Does Remove Const Unit Tests
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp b/unit/analyses/does_remove_const/does_type_preserve_const_correctness.cpp
@@ -2,7 +2,7 @@
 
  Module: Does Remove Const Unit Tests
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp b/unit/analyses/does_remove_const/is_type_at_least_as_const_as.cpp
@@ -2,7 +2,7 @@
 
  Module: Does Remove Const Unit Tests
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/catch_example.cpp b/unit/catch_example.cpp
@@ -2,7 +2,7 @@
 
  Module: Example Catch Tests
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp b/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp
@@ -2,7 +2,7 @@
 
  Module: Unit tests for converting abstract classes
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/miniBDD_new.cpp b/unit/miniBDD_new.cpp
@@ -2,7 +2,7 @@
 
  Module: Unit tests for miniBDD
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp
@@ -3,7 +3,7 @@
  Module: Unit tests for calculate_max_string_length in
    solvers/refinement/string_constraint_generator_valueof.cpp
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp
@@ -3,7 +3,7 @@
  Module: Unit tests for get_numeric_value_from_character in
    solvers/refinement/string_constraint_generator_valueof.cpp
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp b/unit/solvers/refinement/string_constraint_generator_valueof/is_digit_with_radix.cpp
@@ -3,7 +3,7 @@
  Module: Unit tests for is_digit_with_radix in
    solvers/refinement/string_constraint_generator_valueof.cpp
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/solvers/refinement/string_refinement/concretize_array.cpp b/unit/solvers/refinement/string_refinement/concretize_array.cpp
@@ -3,7 +3,7 @@
  Module: Unit tests for concretize_array_expression in
    solvers/refinement/string_refinement.cpp
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited. All rights reserved.
 
 \*******************************************************************/
 
diff --git a/unit/solvers/refinement/string_refinement/substitute_array_list.cpp b/unit/solvers/refinement/string_refinement/substitute_array_list.cpp
diff --git a/unit/src/ansi-c/c_to_expr.cpp b/unit/src/ansi-c/c_to_expr.cpp
diff --git a/unit/src/ansi-c/c_to_expr.h b/unit/src/ansi-c/c_to_expr.h
diff --git a/unit/src/expr/require_expr.cpp b/unit/src/expr/require_expr.cpp
diff --git a/unit/src/expr/require_expr.h b/unit/src/expr/require_expr.h
diff --git a/unit/unit_tests.cpp b/unit/unit_tests.cpp
diff --git a/unit/util/expr_iterator.cpp b/unit/util/expr_iterator.cpp
diff --git a/unit/util/symbol_table.cpp b/unit/util/symbol_table.cpp

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`Source of benchmark:`
`2`		`-https://github.com/DiffBlue-benchmarks/java-test`
	`2`	`+https://github.com/Diffblue-benchmarks/java-test`
Original file line number	Diff line number	Diff line change
`@@ -4,12 +4,12 @@ public class RegexSubstitution01`
`4`	`4`	`{`
`5`	`5`	`public static void main(String[] args)`
`6`	`6`	`{`
`7`		`- String firstString = "DiffBlue ***";`
	`7`	`+ String firstString = "Diffblue ***";`
`8`	`8`	`String secondString = "Automatic Test Case Generation";`
`9`	`9`
`10`	`10`	`firstString = firstString.replaceAll("\\*", "^");`
`11`	`11`
`12`		`- assert firstString.equals("DiffBlue ^^^");`
	`12`	`+ assert firstString.equals("Diffblue ^^^");`
`13`	`13`
`14`	`14`	`secondString = secondString.replaceAll("Automatic", "Automated");`
`15`	`15`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ public class RegexSubstitution02`
`4`	`4`	`{`
`5`	`5`	`public static void main(String[] args)`
`6`	`6`	`{`
`7`		`- String firstString = "DiffBlue ***";`
	`7`	`+ String firstString = "Diffblue ***";`
`8`	`8`	`String secondString = "Automatic Test Case Generation";`
`9`	`9`
`10`	`10`	`firstString = firstString.replaceAll("\\*", "^");`
Original file line number	Diff line number	Diff line change
`@@ -2,9 +2,9 @@ public class StringBuilderChars01`
`2`	`2`	`{`
`3`	`3`	`public static void main(String[] args)`
`4`	`4`	`{`
`5`		`- StringBuilder buffer = new StringBuilder("DiffBlue Limited");`
	`5`	`+ StringBuilder buffer = new StringBuilder("Diffblue Limited");`
`6`	`6`
`7`		`- assert buffer.toString().equals("DiffBlue Limited");`
	`7`	`+ assert buffer.toString().equals("Diffblue Limited");`
`8`	`8`	`assert buffer.charAt(0)!=buffer.charAt(4);`
`9`	`9`
`10`	`10`	`char[] charArray = new char[buffer.length()];`
Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@ public class StringBuilderChars02`
`2`	`2`	`{`
`3`	`3`	`public static void main(String[] args)`
`4`	`4`	`{`
`5`		`- StringBuilder buffer = new StringBuilder("DiffBlue Limited");`
`6`		`- assert buffer.toString().equals("DiffBlue Limitted");`
	`5`	`+ StringBuilder buffer = new StringBuilder("Diffblue Limited");`
	`6`	`+ assert buffer.toString().equals("Diffblue Limitted");`
`7`	`7`	`}`
`8`	`8`	`}`
Original file line number	Diff line number	Diff line change
`@@ -3,8 +3,8 @@ public class StringConcatenation02`
`3`	`3`	`public static void main(String[] args)`
`4`	`4`	`{`
`5`	`5`	`String s1 = "Happy at";`
`6`		`- String s2 = " DiffBlue";`
	`6`	`+ String s2 = " Diffblue";`
`7`	`7`	`assert s1.equals("Happy at ");`
`8`		`- assert s2.equals(" DiffBlue");`
	`8`	`+ assert s2.equals(" Diffblue");`
`9`	`9`	`}`
`10`	`10`	`}`
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ public class StringConcatenation03`
`3`	`3`	`public static void main(String[] args)`
`4`	`4`	`{`
`5`	`5`	`String s1 = "Happy at";`
`6`		`- String s2 = " DiffBlue";`
	`6`	`+ String s2 = " Diffblue";`
`7`	`7`
`8`	`8`	`System.out.printf(`
`9`	`9`	`"Result of s1.concat(s2) = %s\n", s1.concat(s2));`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.`
	`1`	`+// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.`
`2`	`2`
`3`	`3`
`4`	`4`	`#include "language_util.h"`