Skip to content

Commit 0cafa14

Browse files
peterschrammelpeterschrammel
authored
Merge pull request #3610 from tautschnig/whitespace
Fix whitespace in copyright headers
2 parents 15379e2 + 3456903 commit 0cafa14

File tree

130 files changed

+291
-284
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

130 files changed

+291
-284
lines changed

‎jbmc/src/java_bytecode/ci_lazy_methods.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Java Bytecode
3+
Module: Java Bytecode
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/src/java_bytecode/ci_lazy_methods.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Java Bytecode
3+
Module: Java Bytecode
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/src/java_bytecode/select_pointer_type.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Java Bytecode Language Conversion
3+
Module: Java Bytecode Language Conversion
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/src/java_bytecode/select_pointer_type.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Java Bytecode Language Conversion
3+
Module: Java Bytecode Language Conversion
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
#ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H

‎jbmc/unit/java-testing-utils/load_java_class.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java-testing-utils/load_java_class.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java-testing-utils/require_goto_statements.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java-testing-utils/require_goto_statements.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java-testing-utils/require_parse_tree.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java-testing-utils/require_parse_tree.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java-testing-utils/require_type.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java-testing-utils/require_type.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit test utilities
3+
Module: Unit test utilities
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/ci_lazy_methods/lazy_load_lambdas.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Limited.
5+
Author: Diffblue Limited.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/expr2java.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for expr-to-java string conversion
3+
Module: Unit tests for expr-to-java string conversion
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/goto-programs/class_hierarchy_graph.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for class_hierarchy_grapht
3+
Module: Unit tests for class_hierarchy_grapht
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/goto-programs/class_hierarchy_output.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for class_hierarchyt output functions
3+
Module: Unit tests for class_hierarchyt output functions
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for remove_virtual_functions pass running in
4-
assume-false-if-no-match mode.
3+
Module: Unit tests for remove_virtual_functions pass running in
4+
assume-false-if-no-match mode.
55
6-
Author: Diffblue Ltd.
6+
Author: Diffblue Ltd.
77
88
\*******************************************************************/
99

‎jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for instantiating generic superclasses and interfaces.
3+
Module: Unit tests for instantiating generic superclasses and interfaces.
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
#include <testing-utils/catch.hpp>

‎jbmc/unit/java_bytecode/goto_program_generics/generic_parameters_test.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for instantiating generic classes.
3+
Module: Unit tests for instantiating generic classes.
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88
#include <testing-utils/catch.hpp>

‎jbmc/unit/java_bytecode/goto_program_generics/mutually_recursive_generics.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing mutually generic classes
3+
Module: Unit tests for parsing mutually generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for inherited static fields
3+
Module: Unit tests for inherited static fields
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for converting abstract classes
3+
Module: Unit tests for converting abstract classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_convert_class/convert_java_annotations.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for converting annotations
3+
Module: Unit tests for converting annotations
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for converting constructors and static initializers
3+
Module: Unit tests for converting constructors and static initializers
44
5-
Author: Diffblue Limited.
5+
Author: Diffblue Limited.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for converting invokedynamic instructions into codet
3+
Module: Unit tests for converting invokedynamic instructions into codet
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for converting methods.
3+
Module: Unit tests for converting methods.
44
5-
Author: Diffblue Limited.
5+
Author: Diffblue Limited.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_instrument/virtual_call_null_checks.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
/*******************************************************************\
22
3-
Module: Unit test to check Java virtual calls via a pointer
4-
yield a correct sequence of not-null assumptions.
3+
Module: Unit test to check Java virtual calls via a pointer
4+
yield a correct sequence of not-null assumptions.
55
6-
Author: Diffblue Limited.
6+
Author: Diffblue Limited.
77
88
\*******************************************************************/
99

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

‎jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for parsing generic classes
3+
Module: Unit tests for parsing generic classes
44
5-
Author: Diffblue Ltd.
5+
Author: Diffblue Ltd.
66
77
\*******************************************************************/
88

0 commit comments

Comments
 (0)