Merge pull request #3000 from mgudemann/enhancement/diffblue/normalize_diffblue

tautschnig · web-flow · commit d85100d43c1c · 2018-09-21T14:20:02.000+01:00
Remove occurrences of DiffBlue
diff --git a/jbmc/unit/java_bytecode/ci_lazy_methods/lazy_load_lambdas.cpp b/jbmc/unit/java_bytecode/ci_lazy_methods/lazy_load_lambdas.cpp
@@ -2,7 +2,7 @@
 
  Module: Unit tests for parsing generic classes
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited.
 
 \*******************************************************************/
 
diff --git a/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp b/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp
@@ -2,7 +2,7 @@
 
  Module: Unit tests for converting constructors and static initializers
 
- Author: DiffBlue Limited.
+ Author: Diffblue Limited.
 
 \*******************************************************************/
 
diff --git a/jbmc/unit/solvers/refinement/string_refinement/dependency_graph.cpp b/jbmc/unit/solvers/refinement/string_refinement/dependency_graph.cpp
@@ -3,7 +3,7 @@
  Module: Unit tests for dependency graph
    solvers/refinement/string_refinement.cpp
 
- Author: DiffBlue Ltd.
+ Author: Diffblue Ltd.
 
 \*******************************************************************/
 
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -788,7 +788,7 @@ void goto_analyzer_parse_optionst::help()
   std::cout << '\n' << banner_string("GOTO-ANALYZER", CBMC_VERSION) << '\n'
             <<
     "* *                   Copyright (C) 2017-2018                    * *\n"
-    "* *                  Daniel Kroening, DiffBlue                   * *\n"
+    "* *                  Daniel Kroening, Diffblue                   * *\n"
     "* *                   kroening@kroening.com                      * *\n"
     "\n"
     "Usage:                       Purpose:\n"
diff --git a/src/util/fixed_keys_map_wrapper.h b/src/util/fixed_keys_map_wrapper.h
@@ -1,4 +1,4 @@
-// Copyright 2018 DiffBlue Limited. All Rights Reserved.
+// Copyright 2018 Diffblue Limited.
 
 /// \file
 /// A wrapper for maps that gives read-write access to elements but without
diff --git a/unit/testing-utils/free_form_cmdline.cpp b/unit/testing-utils/free_form_cmdline.cpp
@@ -2,7 +2,7 @@
 
  Module: Unit test utilities
 
- Author: DiffBlue Limited.
+ Author: Diffblue Limited.
 
 \*******************************************************************/
 
diff --git a/unit/testing-utils/free_form_cmdline.h b/unit/testing-utils/free_form_cmdline.h
@@ -2,7 +2,7 @@
 
  Module: Unit test utilities
 
- Author: DiffBlue Limited.
+ Author: Diffblue Limited.
 
 \*******************************************************************/
 
diff --git a/unit/testing-utils/message.h b/unit/testing-utils/message.h
@@ -2,7 +2,7 @@
 
  Module: Unit test utilities
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited.
 
 \*******************************************************************/
 
diff --git a/unit/testing-utils/require_symbol.cpp b/unit/testing-utils/require_symbol.cpp
@@ -2,7 +2,7 @@
 
  Module: Unit test utilities
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited.
 
 \*******************************************************************/
 
diff --git a/unit/testing-utils/require_symbol.h b/unit/testing-utils/require_symbol.h
@@ -2,7 +2,7 @@
 
  Module: Unit test utilities
 
- Author: DiffBlue Limited. All rights reserved.
+ Author: Diffblue Limited.
 
 \*******************************************************************/
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// Copyright 2018 DiffBlue Limited. All Rights Reserved.`
	`1`	`+// Copyright 2018 Diffblue Limited.`
`2`	`2`
`3`	`3`	`/// \file`
`4`	`4`	`/// A wrapper for maps that gives read-write access to elements but without`