Skip to content

Fix whitespace in copyright headers #3610

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Dec 21, 2018
Merged

Fix whitespace in copyright headers #3610

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions jbmc/src/java_bytecode/ci_lazy_methods.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Java Bytecode
Module: Java Bytecode

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/src/java_bytecode/ci_lazy_methods.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Java Bytecode
Module: Java Bytecode

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/src/java_bytecode/select_pointer_type.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Java Bytecode Language Conversion
Module: Java Bytecode Language Conversion

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/src/java_bytecode/select_pointer_type.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Java Bytecode Language Conversion
Module: Java Bytecode Language Conversion

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/
#ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H
Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/load_java_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/load_java_class.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/require_goto_statements.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/require_goto_statements.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/require_parse_tree.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/require_parse_tree.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/require_type.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java-testing-utils/require_type.h
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit test utilities
Module: Unit test utilities

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/ci_lazy_methods/lazy_load_lambdas.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Limited.
Author: Diffblue Limited.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/expr2java.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for expr-to-java string conversion
Module: Unit tests for expr-to-java string conversion

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/goto-programs/class_hierarchy_graph.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for class_hierarchy_grapht
Module: Unit tests for class_hierarchy_grapht

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/goto-programs/class_hierarchy_output.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for class_hierarchyt output functions
Module: Unit tests for class_hierarchyt output functions

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
6 changes: 3 additions & 3 deletions jbmc/unit/java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
/*******************************************************************\

Module: Unit tests for remove_virtual_functions pass running in
assume-false-if-no-match mode.
Module: Unit tests for remove_virtual_functions pass running in
assume-false-if-no-match mode.

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for instantiating generic superclasses and interfaces.
Module: Unit tests for instantiating generic superclasses and interfaces.

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/
#include <testing-utils/catch.hpp>
Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/goto_program_generics/generic_parameters_test.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for instantiating generic classes.
Module: Unit tests for instantiating generic classes.

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/
#include <testing-utils/catch.hpp>
Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/goto_program_generics/mutually_recursive_generics.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing mutually generic classes
Module: Unit tests for parsing mutually generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/inherited_static_fields/inherited_static_fields.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for inherited static fields
Module: Unit tests for inherited static fields

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for converting abstract classes
Module: Unit tests for converting abstract classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_convert_class/convert_java_annotations.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for converting annotations
Module: Unit tests for converting annotations

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for converting constructors and static initializers
Module: Unit tests for converting constructors and static initializers

Author: Diffblue Limited.
Author: Diffblue Limited.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for converting invokedynamic instructions into codet
Module: Unit tests for converting invokedynamic instructions into codet

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_method.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for converting methods.
Module: Unit tests for converting methods.

Author: Diffblue Limited.
Author: Diffblue Limited.

\*******************************************************************/

Expand Down
6 changes: 3 additions & 3 deletions jbmc/unit/java_bytecode/java_bytecode_instrument/virtual_call_null_checks.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
/*******************************************************************\

Module: Unit test to check Java virtual calls via a pointer
yield a correct sequence of not-null assumptions.
Module: Unit test to check Java virtual calls via a pointer
yield a correct sequence of not-null assumptions.

Author: Diffblue Limited.
Author: Diffblue Limited.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_bounded_generic_inner_classes.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_derived_generic_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_functions_with_generics.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_array_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_class.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions ..._bytecode/java_bytecode_parse_generics/parse_generic_class_with_generic_inner_classes.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions ...nit/java_bytecode/java_bytecode_parse_generics/parse_generic_class_with_inner_classes.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_fields.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
4 changes: 2 additions & 2 deletions jbmc/unit/java_bytecode/java_bytecode_parse_generics/parse_generic_functions.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
/*******************************************************************\

Module: Unit tests for parsing generic classes
Module: Unit tests for parsing generic classes

Author: Diffblue Ltd.
Author: Diffblue Ltd.

\*******************************************************************/

Expand Down
Loading